Tree @5d7ee36d-d05e-4899-ae3a-eb2f035369b0/upstream (Download .tar.gz)
- ..
- Berardi.v
- ChoiceFacts.v
- Classical.v
- Classical_Pred_Type.v
- Classical_Prop.v
- ClassicalChoice.v
- ClassicalDescription.v
- ClassicalEpsilon.v
- ClassicalFacts.v
- ClassicalUniqueChoice.v
- ConstructiveEpsilon.v
- Decidable.v
- Description.v
- Diaconescu.v
- Epsilon.v
- Eqdep.v
- Eqdep_dec.v
- EqdepFacts.v
- ExtensionalFunctionRepresentative.v
- ExtensionalityFacts.v
- FinFun.v
- FunctionalExtensionality.v
- HLevels.v
- Hurkens.v
- IndefiniteDescription.v
- JMeq.v
- ProofIrrelevance.v
- ProofIrrelevanceFacts.v
- PropExtensionality.v
- PropExtensionalityFacts.v
- PropFacts.v
- RelationalChoice.v
- SetIsType.v
- SetoidChoice.v
- StrictProp.v
- WeakFan.v
- WKL.v
History of theories / Logic @5d7ee36d-d05e-4899-ae3a-eb2f035369b0/upstream
- New upstream version 8.12.0 Ralf Treinen 3 years ago
- New upstream version 8.11.0 Ralf Treinen 4 years ago
- New upstream version 8.11~beta1 Ralf Treinen 4 years ago
- New upstream version 8.10.2 Ralf Treinen 4 years ago
- New upstream version 8.10.1 Ralf Treinen 4 years ago
- Imported Upstream version 8.9.0 Benjamin Barenblat 5 years ago
- Imported Upstream version 8.8.2 Benjamin Barenblat 5 years ago
- Imported Upstream version 8.6 Enrico Tassi 7 years ago
- Imported Upstream version 8.5 Enrico Tassi 8 years ago
- Imported Upstream version 8.5~beta3+dfsg Enrico Tassi 8 years ago
- Imported Upstream version 8.5~beta1+dfsg Enrico Tassi 9 years ago
- Imported Upstream version 8.4pl4dfsg Stephane Glondu 9 years ago
- Imported Upstream version 8.4pl3dfsg Stephane Glondu 10 years ago
- Imported Upstream version 8.4dfsg Stephane Glondu 11 years ago
- Imported Upstream version 8.4~gamma0+really8.4beta2 Stephane Glondu 11 years ago
- Imported Upstream version 8.4~beta Stephane Glondu 12 years ago
- Imported Upstream version 8.3.pl3 Stephane Glondu 12 years ago
- Imported Upstream version 8.3~rc1+dfsg Stephane Glondu 13 years ago
- Imported Upstream snapshot 8.3~beta0+13323 Stephane Glondu 13 years ago
- Imported Upstream snapshot 8.3~beta0+13298 Stephane Glondu 13 years ago
- Imported Upstream version 8.2.pl1+dfsg Stephane Glondu 14 years ago
- Imported Upstream version 8.2~rc2+dfsg Stephane Glondu 15 years ago
- Imported Upstream version 8.2~beta4+dfsg Stephane Glondu 15 years ago
- Imported Upstream version 8.2~beta3+dfsg Samuel Mimram 15 years ago
- Imported Upstream version 8.1+dfsg Samuel Mimram 17 years ago
- Imported Upstream version 8.1~gamma Samuel Mimram 17 years ago
- Imported Upstream version 8.0pl3+8.1beta.2 Samuel Mimram 17 years ago
- Imported Upstream version 8.0pl3+8.1beta Samuel Mimram 17 years ago
- Imported Upstream version 8.0pl3+8.1alpha Samuel Mimram 18 years ago
- Imported Upstream version 8.0pl2 Samuel Mimram 19 years ago