]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5813d9a) | patch
added a test for rewrite under Pi
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 10 Mar 2007 22:58:31 +0000 (22:58 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 10 Mar 2007 22:58:31 +0000 (22:58 +0000)
commitf396728a5a99733b1d46a3d1f3cd07b68ede07ec
treed08d2452881d7df434dc449d81c47a846685077btree | snapshot
parent5813d9a88f34f0c0d15cb74243f638d02ae163facommit | diff
added a test for rewrite under Pi
matita/tests/rewrite.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.