]> matita.cs.unibo.it Git - helm.git/commit
New tactic rewrite implemented.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 11 Oct 2002 16:47:37 +0000 (16:47 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 11 Oct 2002 16:47:37 +0000 (16:47 +0000)
commitd7a329578a475af98aa5f2a16d9873a576dab599
treed663adf39b6d4a73945a4776aa549b6e1326d257
parent1d2bd140d14561951f8214edf15abe4f40dcb649
New tactic rewrite implemented.
Not tested yet.
helm/gTopLevel/fourierR.ml
helm/gTopLevel/fourierR.mli
helm/gTopLevel/gTopLevel.ml
helm/gTopLevel/proofEngine.ml
helm/gTopLevel/proofEngine.mli
helm/gTopLevel/proofEngineReduction.ml
helm/gTopLevel/proofEngineReduction.mli