]> matita.cs.unibo.it Git - helm.git/commit
Rearranged tactics in VariousTactics into new modules EqualityTactics, EliminationTac...
authorMichele Galatà <??>
Thu, 12 Dec 2002 09:08:38 +0000 (09:08 +0000)
committerMichele Galatà <??>
Thu, 12 Dec 2002 09:08:38 +0000 (09:08 +0000)
commit911199dc198f34ae6a024d81ff62c78e2e97f7db
treee08742831899579632d8635bbc108dd38abb301e
parent94512047e60c9872c472081c193eae44bddefc65
Rearranged tactics in VariousTactics into new modules EqualityTactics, EliminationTactics,
IntroductionTactics and NegationTactics.
Added new tactics: Rewrite <-, Replace.
helm/gTopLevel/.depend
helm/gTopLevel/Makefile
helm/gTopLevel/fourierR.ml
helm/gTopLevel/gTopLevel.ml
helm/gTopLevel/proofEngine.ml
helm/gTopLevel/proofEngine.mli
helm/gTopLevel/ring.ml
helm/gTopLevel/variousTactics.ml
helm/gTopLevel/variousTactics.mli