]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 51ba598) | patch
theorems about equality in classes
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 19 Nov 2005 18:01:48 +0000 (18:01 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 19 Nov 2005 18:01:48 +0000 (18:01 +0000)
commite3ba094ac1ba1f73fbb558944715cfa6707da868
tree1058a2d54a52f7a09f28596b74b4e50a1e03d3datree | snapshot
parent51ba598a5d034a2cb572c58f6db4937627e914a3commit | diff
theorems about equality in classes
helm/matita/contribs/PREDICATIVE-TOPOLOGY/class_eq.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.