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

• NCoq_Logic_Adjointification.cmi
• NCoq_Logic_Adjointification.cmxs
• NCoq_Logic_Berardi.cmi
• NCoq_Logic_Berardi.cmxs
• NCoq_Logic_ChoiceFacts.cmi
• NCoq_Logic_ChoiceFacts.cmxs
• NCoq_Logic_Classical.cmi
• NCoq_Logic_Classical.cmxs
• NCoq_Logic_ClassicalChoice.cmi
• NCoq_Logic_ClassicalChoice.cmxs
• NCoq_Logic_ClassicalDescription.cmi
• NCoq_Logic_ClassicalDescription.cmxs
• NCoq_Logic_ClassicalEpsilon.cmi
• NCoq_Logic_ClassicalEpsilon.cmxs
• NCoq_Logic_ClassicalFacts.cmi
• NCoq_Logic_ClassicalFacts.cmxs
• NCoq_Logic_ClassicalUniqueChoice.cmi
• NCoq_Logic_ClassicalUniqueChoice.cmxs
• NCoq_Logic_Classical_Pred_Type.cmi
• NCoq_Logic_Classical_Pred_Type.cmxs
• NCoq_Logic_Classical_Prop.cmi
• NCoq_Logic_Classical_Prop.cmxs
• NCoq_Logic_ConstructiveEpsilon.cmi
• NCoq_Logic_ConstructiveEpsilon.cmxs
• NCoq_Logic_Decidable.cmi
• NCoq_Logic_Decidable.cmxs
• NCoq_Logic_Description.cmi
• NCoq_Logic_Description.cmxs
• NCoq_Logic_Diaconescu.cmi
• NCoq_Logic_Diaconescu.cmxs
• NCoq_Logic_Epsilon.cmi
• NCoq_Logic_Epsilon.cmxs
• NCoq_Logic_Eqdep.cmi
• NCoq_Logic_Eqdep.cmxs
• NCoq_Logic_EqdepFacts.cmi
• NCoq_Logic_EqdepFacts.cmxs
• NCoq_Logic_Eqdep_dec.cmi
• NCoq_Logic_Eqdep_dec.cmxs
• NCoq_Logic_ExtensionalFunctionRepresentative.cmi
• NCoq_Logic_ExtensionalFunctionRepresentative.cmxs
• NCoq_Logic_ExtensionalityFacts.cmi
• NCoq_Logic_ExtensionalityFacts.cmxs
• NCoq_Logic_FinFun.cmi
• NCoq_Logic_FinFun.cmxs
• NCoq_Logic_FunctionalExtensionality.cmi
• NCoq_Logic_FunctionalExtensionality.cmxs
• NCoq_Logic_HLevels.cmi
• NCoq_Logic_HLevels.cmxs
• NCoq_Logic_Hurkens.cmi
• NCoq_Logic_Hurkens.cmxs
• NCoq_Logic_IndefiniteDescription.cmi
• NCoq_Logic_IndefiniteDescription.cmxs
• NCoq_Logic_JMeq.cmi
• NCoq_Logic_JMeq.cmxs
• NCoq_Logic_ProofIrrelevance.cmi
• NCoq_Logic_ProofIrrelevance.cmxs
• NCoq_Logic_ProofIrrelevanceFacts.cmi
• NCoq_Logic_ProofIrrelevanceFacts.cmxs
• NCoq_Logic_PropExtensionality.cmi
• NCoq_Logic_PropExtensionality.cmxs
• NCoq_Logic_PropExtensionalityFacts.cmi
• NCoq_Logic_PropExtensionalityFacts.cmxs
• NCoq_Logic_PropFacts.cmi
• NCoq_Logic_PropFacts.cmxs
• NCoq_Logic_RelationalChoice.cmi
• NCoq_Logic_RelationalChoice.cmxs
• NCoq_Logic_SetIsType.cmi
• NCoq_Logic_SetIsType.cmxs
• NCoq_Logic_SetoidChoice.cmi
• NCoq_Logic_SetoidChoice.cmxs
• NCoq_Logic_StrictProp.cmi
• NCoq_Logic_StrictProp.cmxs
• NCoq_Logic_WKL.cmi
• NCoq_Logic_WKL.cmxs
• NCoq_Logic_WeakFan.cmi
• NCoq_Logic_WeakFan.cmxs

Generated by rpm2html 1.8.1

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