]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 25ec5b9) | patch
New syntax for patterns.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 1 Jul 2005 09:38:55 +0000 (09:38 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 1 Jul 2005 09:38:55 +0000 (09:38 +0000)
commit10aa2e121a0c9659b18b011dc9595cf6256560f4
treebd28b0fba104ec5809140d5580bb9d2f78f97ce9tree | snapshot
parent25ec5b95fe67bbdee888a8268b3772a394cd74a5commit | diff
New syntax for patterns.
helm/matita/tests/inversion.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.