]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 03ba062) | patch
predicative subsets started
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 16 Nov 2005 18:09:57 +0000 (18:09 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 16 Nov 2005 18:09:57 +0000 (18:09 +0000)
commite872b5a4773aba12d17595eec45ca713c846e26d
tree204713daf4e68569e02f7d64e4bb8d2dc8a3c25etree | snapshot
parent03ba06211a6e1edb8472e785d2024a26992f2c0ecommit | diff
predicative subsets started
helm/matita/contribs/PREDICATIVE-TOPOLOGY/ac_defs.ma diff | blob | history
helm/matita/contribs/PREDICATIVE-TOPOLOGY/qd_defs.ma diff | blob | history
helm/matita/contribs/PREDICATIVE-TOPOLOGY/subsets_defs.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.