]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7e94ade) | patch
bugfix that inhibit the removal of certain hypotheses
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 1 Jul 2002 20:12:54 +0000 (20:12 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 1 Jul 2002 20:12:54 +0000 (20:12 +0000)
commitcc883b40654c63af2a18d952986277e8e1d59cc9
treeb3423424b5186d472b3dff31994d22d8a10d439etree | snapshot
parent7e94ade9e36f123a555a7727be1e0ae722841426commit | diff
bugfix that inhibit the removal of certain hypotheses
helm/gTopLevel/cic2acic.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.