]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 87ff605) | patch
Using the new category SET.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 21 Dec 2008 21:46:04 +0000 (21:46 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 21 Dec 2008 21:46:04 +0000 (21:46 +0000)
commit02b7632adbc18175c6459013f2332e1bcc78f5c8
tree0d7cd3a7a111608cd642a3930f8ba2b697e943a0tree | snapshot
parent87ff605d8efbc7d5ca7b89cdb6bf04f0a2ddf489commit | diff
Using the new category SET.
Rewriting is no longer working as expected.
helm/software/matita/contribs/formal_topology/overlap/o-algebra.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.