diff options
| author |  herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2001-05-31 01:57:35 +0000 |
|---|---|---|
| committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2001-05-31 01:57:35 +0000 |
| commit | e48ac2fd2466f971f694a66be29c3a13d3184635 (patch) | |
| tree | fda11cb04194ad0213bc605467df1dff8ab20f31 /Makefile | |
| parent | 82c558179eb34b3c143ce9c1c32590ff95d4e493 (diff) | |
Creation du fichier Zhints.v repertoriant les thms de ZArith et definissant les thms interessants en hints
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1775 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -367,7 +367,8 @@ BOOLVO=theories/Bool/Bool.vo theories/Bool/IfProp.vo \ ZARITHVO=theories/ZArith/Wf_Z.vo theories/ZArith/Zsyntax.vo \ theories/ZArith/ZArith.vo theories/ZArith/auxiliary.vo \ theories/ZArith/ZArith_dec.vo theories/ZArith/fast_integer.vo \ - theories/ZArith/Zmisc.vo theories/ZArith/zarith_aux.vo + theories/ZArith/Zmisc.vo theories/ZArith/zarith_aux.vo \ + theories/ZArith/Zhints.vo LISTSVO=theories/Lists/List.vo theories/Lists/PolyListSyntax.vo \ theories/Lists/ListSet.vo theories/Lists/Streams.vo \ |