![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Berardi.vo | 26-Jul-2018 10:17 | 13K | |
| ChoiceFacts.vo | 26-Jul-2018 10:18 | 142K | |
| Classical.vo | 26-Jul-2018 10:18 | 11K | |
| ClassicalChoice.vo | 26-Jul-2018 10:18 | 28K | |
| ClassicalDescription.vo | 26-Jul-2018 10:18 | 30K | |
| ClassicalEpsilon.vo | 26-Jul-2018 10:18 | 33K | |
| ClassicalFacts.vo | 26-Jul-2018 10:18 | 51K | |
| ClassicalUniqueChoice.vo | 26-Jul-2018 10:18 | 14K | |
| Classical_Pred_Type.vo | 26-Jul-2018 10:18 | 13K | |
| Classical_Prop.vo | 26-Jul-2018 10:18 | 19K | |
| ConstructiveEpsilon.vo | 26-Jul-2018 10:18 | 41K | |
| Decidable.vo | 26-Jul-2018 10:17 | 17K | |
| Description.vo | 26-Jul-2018 10:18 | 25K | |
| Diaconescu.vo | 26-Jul-2018 10:18 | 42K | |
| Epsilon.vo | 26-Jul-2018 10:18 | 30K | |
| Eqdep.vo | 26-Jul-2018 10:17 | 4.3K | |
| EqdepFacts.vo | 26-Jul-2018 10:17 | 44K | |
| Eqdep_dec.vo | 26-Jul-2018 10:17 | 26K | |
| ExtensionalFunctionRepresentative.vo | 26-Jul-2018 10:17 | 2.1K | |
| ExtensionalityFacts.vo | 26-Jul-2018 10:17 | 15K | |
| FinFun.vo | 26-Jul-2018 10:18 | 59K | |
| FunctionalExtensionality.vo | 26-Jul-2018 10:17 | 31K | |
| Hurkens.vo | 26-Jul-2018 10:17 | 67K | |
| IndefiniteDescription.vo | 26-Jul-2018 10:18 | 26K | |
| JMeq.vo | 26-Jul-2018 10:17 | 13K | |
| ProofIrrelevance.vo | 26-Jul-2018 10:17 | 4.9K | |
| ProofIrrelevanceFacts.vo | 26-Jul-2018 10:17 | 6.3K | |
| PropExtensionality.vo | 26-Jul-2018 10:18 | 11K | |
| PropExtensionalityFacts.vo | 26-Jul-2018 10:17 | 6.8K | |
| PropFacts.vo | 26-Jul-2018 10:17 | 4.8K | |
| RelationalChoice.vo | 26-Jul-2018 10:17 | 2.1K | |
| SetIsType.vo | 26-Jul-2018 10:17 | 1.6K | |
| SetoidChoice.vo | 26-Jul-2018 10:18 | 28K | |
| WKL.vo | 26-Jul-2018 10:18 | 59K | |
| WeakFan.vo | 26-Jul-2018 10:18 | 21K | |