diff options
| author | mohring | 2001-02-01 09:09:41 +0000 |
|---|---|---|
| committer | mohring | 2001-02-01 09:09:41 +0000 |
| commit | 9cb3549db6a56cae14c0aec0de999b78dd2e0fce (patch) | |
| tree | 3d039e9ea26ad9841d4eede61e26d7ae0856d644 /theories/Num/Make | |
| parent | d767da643c062970ddb7f5fcbbe3d55290583835 (diff) | |
*** empty log message ***
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1307 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'theories/Num/Make')
| -rw-r--r-- | theories/Num/Make | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/theories/Num/Make b/theories/Num/Make index 18371d1654..d01e6943ec 100644 --- a/theories/Num/Make +++ b/theories/Num/Make @@ -1,4 +1,5 @@ -Definitions.v +Params.v +NeqDef.v NSyntax.v Axioms.v AddProps.v @@ -14,3 +15,6 @@ GeProps.v DiscrAxioms.v DiscrProps.v OppAxioms.v +NatParams.v +NatSyntax.v +NatAxioms.v
\ No newline at end of file |