]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c3b0847) | patch
auto new => auto new library in those tests that use Coq's library
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 27 Nov 2006 10:44:18 +0000 (10:44 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 27 Nov 2006 10:44:18 +0000 (10:44 +0000)
commitc4a4f4f49e6fe100e328059046c0c5ef5fe788b0
treea73b7728e9b6358acdc6f6a02cccedd2fb57fd5dtree | snapshot
parentc3b08479c43a035b915e675f3be015df3608dc9dcommit | diff
auto new => auto new library in those tests that use Coq's library
helm/software/matita/tests/elim.ma diff | blob | history
helm/software/matita/tests/inversion.ma diff | blob | history
helm/software/matita/tests/replace.ma diff | blob | history
helm/software/matita/tests/test3.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.