Essai d'axiomatisation des numeral

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1253 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 16 insertions, 0 deletions

diff --git a/theories/Num/Make b/theories/Num/Make
new file mode 100644
index 0000000000..18371d1654
--- /dev/null
+++ b/theories/Num/Make
@@ -0,0 +1,16 @@
+Definitions.v
+NSyntax.v
+Axioms.v
+AddProps.v
+LtProps.v
+OppProps.v
+SubProps.v
+LeAxioms.v
+LeProps.v
+GtAxioms.v
+GtProps.v
+GeAxioms.v
+GeProps.v
+DiscrAxioms.v
+DiscrProps.v
+OppAxioms.v