]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 33e397c) | patch
auto => auto new.
authoracciavat <??>
Thu, 12 Oct 2006 09:53:08 +0000 (09:53 +0000)
committeracciavat <??>
Thu, 12 Oct 2006 09:53:08 +0000 (09:53 +0000)
commit67a2dc4999d7f47e57bf6ac2f6dc285e304e1737
tree1b07e4a1914dffa56e18492d06c9239ac86f7b60tree | snapshot
parent33e397c66c8ab7ff1adbffa6e3b2d152dbecad26commit | diff
auto => auto new.
There is still one auto left that does not work with the new implementation
(because of implicative hypothesis for local lemmas?)
helm/software/matita/contribs/CoRN/algebra/Setoids.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.