]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ab0954e) | patch
replace generalized to patterns
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 27 Jun 2005 17:09:16 +0000 (17:09 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 27 Jun 2005 17:09:16 +0000 (17:09 +0000)
commit27299607c6c7329e783f72d92c5da1796d41a5d6
tree9ec40bfbe28dedaaf01d044cd2f693f05f3597bbtree | snapshot
parentab0954eab207a70e6ad5f2991cc117608deff55bcommit | diff
replace generalized to patterns
helm/matita/matitaEngine.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.