]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 789a633) | patch
Signature and concrete syntax of fold fixed.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 30 Jun 2005 14:52:17 +0000 (14:52 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 30 Jun 2005 14:52:17 +0000 (14:52 +0000)
commit00affce1439533d9b7e581947cefdff93a71ea7b
tree5e220df6234987447839740fedcd3100fe2fa722tree | snapshot
parent789a633d6df5e23a4f5fd418e74c9f3e83df1be4commit | diff
Signature and concrete syntax of fold fixed.
helm/matita/matitaEngine.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.