]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2b01133) | patch
1. rewrite_* and rewrite_back_* merged into one function
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 30 Jun 2005 12:31:24 +0000 (12:31 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 30 Jun 2005 12:31:24 +0000 (12:31 +0000)
commit06ef12ecdaa09ed6e9c2b00554010e6b59f77744
tree56c65dc76657ec523a9560d5046db8170fda2e63tree | snapshot
parent2b01133527077e8dd554f0fbcc51368903dd3b8ccommit | diff
1. rewrite_* and rewrite_back_* merged into one function
2. signature of rewrite_* improved
3. concrete syntax for the rewrite direction fixed to ">" and "<"

NOTE: rewrite_* is still no longer working.
helm/matita/matitaEngine.ml diff | blob | history
helm/matita/tests/fguidi.ma diff | blob | history
helm/matita/tests/inversion.ma diff | blob | history
helm/matita/tests/rewrite.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.