]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: df0606d) | patch
A few other tactics made available to matita.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 27 Jun 2005 17:00:44 +0000 (17:00 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 27 Jun 2005 17:00:44 +0000 (17:00 +0000)
commit72f63f8d930b8b7fe41b47a5cfd3b4c701be34c7
tree4b46bea02e9ab4288c2d95b01cf9137ce0e861c2tree | snapshot
parentdf0606d3bcbc41272fcde2d013bbe0b1aadf98afcommit | diff
A few other tactics made available to matita.
A few tactics (change, fold, replace) generalized to patterns.
The argument of clear and clearbody is now an identifier.
helm/matita/matitaEngine.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.