Mageia 9 for armv7hl : / usr /lib /ocaml /coq /theories /Logic

• .coq-native
• Adjointification.glob
• Adjointification.v
• Adjointification.vo
• Adjointification.vos
• Berardi.glob
• Berardi.v
• Berardi.vo
• Berardi.vos
• ChoiceFacts.glob
• ChoiceFacts.v
• ChoiceFacts.vo
• ChoiceFacts.vos
• Classical.glob
• Classical.v
• Classical.vo
• Classical.vos
• ClassicalChoice.glob
• ClassicalChoice.v
• ClassicalChoice.vo
• ClassicalChoice.vos
• ClassicalDescription.glob
• ClassicalDescription.v
• ClassicalDescription.vo
• ClassicalDescription.vos
• ClassicalEpsilon.glob
• ClassicalEpsilon.v
• ClassicalEpsilon.vo
• ClassicalEpsilon.vos
• ClassicalFacts.glob
• ClassicalFacts.v
• ClassicalFacts.vo
• ClassicalFacts.vos
• ClassicalUniqueChoice.glob
• ClassicalUniqueChoice.v
• ClassicalUniqueChoice.vo
• ClassicalUniqueChoice.vos
• Classical_Pred_Type.glob
• Classical_Pred_Type.v
• Classical_Pred_Type.vo
• Classical_Pred_Type.vos
• Classical_Prop.glob
• Classical_Prop.v
• Classical_Prop.vo
• Classical_Prop.vos
• ConstructiveEpsilon.glob
• ConstructiveEpsilon.v
• ConstructiveEpsilon.vo
• ConstructiveEpsilon.vos
• Decidable.glob
• Decidable.v
• Decidable.vo
• Decidable.vos
• Description.glob
• Description.v
• Description.vo
• Description.vos
• Diaconescu.glob
• Diaconescu.v
• Diaconescu.vo
• Diaconescu.vos
• Epsilon.glob
• Epsilon.v
• Epsilon.vo
• Epsilon.vos
• Eqdep.glob
• Eqdep.v
• Eqdep.vo
• Eqdep.vos
• EqdepFacts.glob
• EqdepFacts.v
• EqdepFacts.vo
• EqdepFacts.vos
• Eqdep_dec.glob
• Eqdep_dec.v
• Eqdep_dec.vo
• Eqdep_dec.vos
• ExtensionalFunctionRepresentative.glob
• ExtensionalFunctionRepresentative.v
• ExtensionalFunctionRepresentative.vo
• ExtensionalFunctionRepresentative.vos
• ExtensionalityFacts.glob
• ExtensionalityFacts.v
• ExtensionalityFacts.vo
• ExtensionalityFacts.vos
• FinFun.glob
• FinFun.v
• FinFun.vo
• FinFun.vos
• FunctionalExtensionality.glob
• FunctionalExtensionality.v
• FunctionalExtensionality.vo
• FunctionalExtensionality.vos
• HLevels.glob
• HLevels.v
• HLevels.vo
• HLevels.vos
• Hurkens.glob
• Hurkens.v
• Hurkens.vo
• Hurkens.vos
• IndefiniteDescription.glob
• IndefiniteDescription.v
• IndefiniteDescription.vo
• IndefiniteDescription.vos
• JMeq.glob
• JMeq.v
• JMeq.vo
• JMeq.vos
• ProofIrrelevance.glob
• ProofIrrelevance.v
• ProofIrrelevance.vo
• ProofIrrelevance.vos
• ProofIrrelevanceFacts.glob
• ProofIrrelevanceFacts.v
• ProofIrrelevanceFacts.vo
• ProofIrrelevanceFacts.vos
• PropExtensionality.glob
• PropExtensionality.v
• PropExtensionality.vo
• PropExtensionality.vos
• PropExtensionalityFacts.glob
• PropExtensionalityFacts.v
• PropExtensionalityFacts.vo
• PropExtensionalityFacts.vos
• PropFacts.glob
• PropFacts.v
• PropFacts.vo
• PropFacts.vos
• RelationalChoice.glob
• RelationalChoice.v
• RelationalChoice.vo
• RelationalChoice.vos
• SetIsType.glob
• SetIsType.v
• SetIsType.vo
• SetIsType.vos
• SetoidChoice.glob
• SetoidChoice.v
• SetoidChoice.vo
• SetoidChoice.vos
• StrictProp.glob
• StrictProp.v
• StrictProp.vo
• StrictProp.vos
• WKL.glob
• WKL.v
• WKL.vo
• WKL.vos
• WeakFan.glob
• WeakFan.v
• WeakFan.vo
• WeakFan.vos

Generated by rpm2html 1.8.1

Fabrice Bellet, Sat Feb 22 08:03:49 2025