Tree @3157dbc2-262c-45e4-83ca-a62d23f55419/main (Download .tar.gz)
- ..
- Classical_sets.v
- Constructive_sets.v
- Cpo.v
- Ensembles.v
- Finite_sets.v
- Finite_sets_facts.v
- Image.v
- Infinite_sets.v
- Integers.v
- Multiset.v
- Partial_Order.v
- Permut.v
- Powerset.v
- Powerset_Classical_facts.v
- Powerset_facts.v
- Relations_1.v
- Relations_1_facts.v
- Relations_2.v
- Relations_2_facts.v
- Relations_3.v
- Relations_3_facts.v
- Uniset.v
History of theories / Sets @3157dbc2-262c-45e4-83ca-a62d23f55419/main
- New upstream version 8.14.0+dfsg Julien Puydt 2 years ago
- New upstream version 8.12.0 Ralf Treinen 3 years ago
- New upstream version 8.11~beta1 Ralf Treinen 4 years ago
- New upstream version 8.10.1 Ralf Treinen 4 years ago
- Imported Upstream version 8.8.2 Benjamin Barenblat 5 years ago
- Imported Upstream version 8.6 Enrico Tassi 7 years ago
- Imported Upstream version 8.5 Enrico Tassi 8 years ago
- Imported Upstream version 8.5~beta3+dfsg Enrico Tassi 8 years ago
- Imported Upstream version 8.5~beta1+dfsg Enrico Tassi 9 years ago
- Imported Upstream version 8.4pl4dfsg Stephane Glondu 9 years ago
- Imported Upstream version 8.4dfsg Stephane Glondu 11 years ago
- Imported Upstream version 8.4~beta Stephane Glondu 12 years ago
- Imported Upstream version 8.3.pl3 Stephane Glondu 12 years ago
- Imported Upstream version 8.3~rc1+dfsg Stephane Glondu 13 years ago
- Imported Upstream snapshot 8.3~beta0+13323 Stephane Glondu 13 years ago
- Imported Upstream snapshot 8.3~beta0+13298 Stephane Glondu 13 years ago
- Imported Upstream version 8.2~beta3+dfsg Samuel Mimram 15 years ago
- Imported Upstream version 8.1~gamma Samuel Mimram 17 years ago
- Imported Upstream version 8.0pl3+8.1alpha Samuel Mimram 18 years ago
- Imported Upstream version 8.0pl1 Samuel Mimram 19 years ago