]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d3eb189) | patch
some renaming
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 19 Nov 2005 12:16:40 +0000 (12:16 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 19 Nov 2005 12:16:40 +0000 (12:16 +0000)
commit192884dae520029b152a3f69989e51cc8af158ce
tree38831f2e5408d35042dcbaa150e6040f68b4d973tree | snapshot
parentd3eb189f3d8dc8371e5c4c4735ba27c72fef1d74commit | diff
some renaming
helm/matita/contribs/PREDICATIVE-TOPOLOGY/ac_defs.ma [deleted file] blob | history
helm/matita/contribs/PREDICATIVE-TOPOLOGY/class_defs.ma [new file with mode: 0644] blob
helm/matita/contribs/PREDICATIVE-TOPOLOGY/domain_defs.ma [new file with mode: 0644] blob
helm/matita/contribs/PREDICATIVE-TOPOLOGY/qd_defs.ma [deleted file] blob | history
helm/matita/contribs/PREDICATIVE-TOPOLOGY/subset_defs.ma [new file with mode: 0644] blob
helm/matita/contribs/PREDICATIVE-TOPOLOGY/subsets_defs.ma [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.