]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9f8a383) | patch
Text fixed (due to stricter semantics for naming the binders in the patterns).
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 30 Jun 2005 14:25:17 +0000 (14:25 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 30 Jun 2005 14:25:17 +0000 (14:25 +0000)
commita3acd934eba07f24937e59c3c7a41db82d901025
treea37196d8fa8e7069a8dc8532f7ba03371802d4b5tree | snapshot
parent9f8a383035b272c628c555b728e84caf9229cd57commit | diff
Text fixed (due to stricter semantics for naming the binders in the patterns).
helm/matita/tests/rewrite.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.