Module AxiomsC

Require ClassicalFacts.
Require FunctionalExtensionality.
newly added *
Require Export Axioms.

Axiom prop_ext: ClassicalFacts.prop_extensionality.