diff options
| author | letouzey | 2006-03-15 10:22:27 +0000 |
|---|---|---|
| committer | letouzey | 2006-03-15 10:22:27 +0000 |
| commit | 150d190dfc60e462dfacafcfed3cabb58ff95365 (patch) | |
| tree | c650e4f52de0d687b412b4f251d85484e90372b0 /Makefile | |
| parent | a2cc7cc4e0aba3bd60129f4352926f5512cd8bf6 (diff) | |
Ajout de theories/FSets contenant la partie "light" de FSets et FMap:
pas d'implementations par AVL, mais celles par lists, ainsi que les
foncteurs de proprietes.
Au passage, ajout de MoreList (complements de List) et SetoidList
(quelques relations sur des listes considerees modulo un eq ou lt
non standard.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8628 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 21 |
1 files changed, 18 insertions, 3 deletions
@@ -841,7 +841,8 @@ ZARITHVO=\ LISTSVO=\ theories/Lists/MonoList.vo \ theories/Lists/ListSet.vo theories/Lists/Streams.vo \ - theories/Lists/TheoryList.vo theories/Lists/List.vo + theories/Lists/TheoryList.vo theories/Lists/List.vo \ + theories/Lists/MoreList.vo theories/Lists/SetoidList.vo STRINGSVO=\ theories/Strings/Ascii.vo theories/Strings/String.vo @@ -859,6 +860,19 @@ SETSVO=\ theories/Sets/Multiset.vo theories/Sets/Relations_3_facts.vo \ theories/Sets/Partial_Order.vo theories/Sets/Uniset.vo +FSETSVO=\ + theories/FSets/DecidableType.vo theories/FSets/OrderedType.vo \ + theories/FSets/FSetInterface.vo theories/FSets/FSetList.vo \ + theories/FSets/FSetBridge.vo theories/FSets/FSetFacts.vo \ + theories/FSets/FSetProperties.vo theories/FSets/FSetEqProperties.vo \ + theories/FSets/FSet.vo \ + theories/FSets/FSetWeakInterface.vo theories/FSets/FSetWeakList.vo \ + theories/FSets/FSetWeak.vo \ + theories/FSets/FMapInterface.vo theories/FSets/FMapList.vo \ + theories/FSets/FMap.vo \ + theories/FSets/FMapWeakInterface.vo theories/FSets/FMapWeakList.vo \ + theories/FSets/FMapWeak.vo + INTMAPVO=\ theories/IntMap/Adalloc.vo theories/IntMap/Mapcanon.vo \ theories/IntMap/Addec.vo theories/IntMap/Mapcard.vo \ @@ -930,7 +944,7 @@ SETOIDSVO=theories/Setoids/Setoid.vo THEORIESVO =\ $(INITVO) $(LOGICVO) $(ARITHVO) $(BOOLVO) $(NARITHVO) $(ZARITHVO) \ - $(LISTSVO) $(STRINGSVO) $(SETSVO) $(INTMAPVO) $(RELATIONSVO) \ + $(LISTSVO) $(STRINGSVO) $(SETSVO) $(FSETSVO) $(INTMAPVO) $(RELATIONSVO) \ $(WELLFOUNDEDVO) $(REALSVO) $(SETOIDSVO) $(SORTINGVO) THEORIESLIGHTVO = $(INITVO) $(LOGICVO) $(ARITHVO) @@ -946,6 +960,7 @@ zarith: $(ZARITHVO) lists: $(LISTSVO) strings: $(STRINGSVO) sets: $(SETSVO) +fsets: $(FSETSVO) intmap: $(INTMAPVO) relations: $(RELATIONSVO) wellfounded: $(WELLFOUNDEDVO) @@ -955,7 +970,7 @@ allreals: $(ALLREALS) setoids: $(SETOIDSVO) sorting: $(SORTINGVO) -noreal: logic arith bool zarith lists sets intmap relations wellfounded \ +noreal: logic arith bool zarith lists sets fsets intmap relations wellfounded \ setoids sorting ########################################################################### |