]> matita.cs.unibo.it Git - helm.git/commit
- bug fixed: some liftings were missing in the implementation of rewrite
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 14 Oct 2002 11:44:07 +0000 (11:44 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 14 Oct 2002 11:44:07 +0000 (11:44 +0000)
commitc7eb56246dc1199f098ed6c8c77aa08fea9a62f8
treeccfcafbac297aaf47ec2401e935eb9e43c344610
parent5dac9432fa233251332953770319c0b95984e1c5
- bug fixed: some liftings were missing in the implementation of rewrite
- new feature: rewrite now works up to alpha-equivalence
helm/gTopLevel/fourierR.ml
helm/gTopLevel/gTopLevel.ml
helm/gTopLevel/proofEngine.ml
helm/gTopLevel/proofEngineReduction.ml
helm/gTopLevel/proofEngineReduction.mli