]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b000797) | patch
eq over SET1 and SET no longer used
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 8 Jan 2009 16:48:36 +0000 (16:48 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 8 Jan 2009 16:48:36 +0000 (16:48 +0000)
commit759451f66c0009b12e5bcc9fe0c61f7ab5277057
tree44c6b2ce93e2bab098661d2e2b558667f261cbdatree | snapshot
parentb000797a7e07f511926a19d947feae90406f6c89commit | diff
eq over SET1 and SET no longer used
helm/software/matita/contribs/formal_topology/overlap/categories.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.