_CoqProject 933 Bytes
Newer Older
1
-Q theories stdpp
Ralf Jung's avatar
Ralf Jung committed
2
# "Declare Scope" does not exist yet in 8.9.
3
-arg -w -arg -undeclared-scope
Ralf Jung's avatar
Ralf Jung committed
4

5 6
theories/base.v
theories/tactics.v
7 8
theories/option.v
theories/fin_map_dom.v
9
theories/boolset.v
10
theories/fin_maps.v
11
theories/fin.v
12 13 14
theories/vector.v
theories/pmap.v
theories/stringmap.v
15
theories/fin_sets.v
16 17 18 19 20 21 22 23 24
theories/mapset.v
theories/proof_irrel.v
theories/hashset.v
theories/pretty.v
theories/countable.v
theories/orders.v
theories/natmap.v
theories/strings.v
theories/relations.v
25
theories/sets.v
26 27 28 29 30 31 32 33 34 35 36 37
theories/listset.v
theories/streams.v
theories/gmap.v
theories/gmultiset.v
theories/prelude.v
theories/listset_nodup.v
theories/finite.v
theories/numbers.v
theories/nmap.v
theories/zmap.v
theories/coPset.v
theories/lexico.v
38
theories/propset.v
39 40 41 42 43
theories/decidable.v
theories/list.v
theories/functions.v
theories/hlist.v
theories/sorting.v
44
theories/infinite.v
45
theories/nat_cancel.v
46
theories/namespaces.v
47
theories/telescopes.v
48
theories/binders.v