]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 78263f1) | patch
incomplete proof completed
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 14 Jun 2005 08:20:37 +0000 (08:20 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 14 Jun 2005 08:20:37 +0000 (08:20 +0000)
commit7fb4b063ed9488bbffa34d1cd193fca6c288a425
tree477e09a10b81b8d880a7b9f4e02e9c8f6076e533tree | snapshot
parent78263f105973a87f80d5e9246e133a86fe4fe5fbcommit | diff
incomplete proof completed
helm/matita/tests/rewrite.ma diff | blob | history
helm/matita/tests/simpl.ma diff | blob | history
helm/matita/tests/test2.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.