OpenSuSE Leap 15.6 for s390x : / usr /lib64 /coq /theories /Logic

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

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Jul 9 20:22:04 2024