]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 95fd259) | patch
moved tactics in ocaml/tactics
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 28 Jan 2003 10:22:00 +0000 (10:22 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 28 Jan 2003 10:22:00 +0000 (10:22 +0000)
commitdfa0ff915fcf79a3ef9d45b74303175ba2e49d13
tree1c9e2ba9ad35dda94fc2e25691936c096e2090fctree | snapshot
parent95fd259a475ed0aa4c61ec203d30ff3e81601c29commit | diff
moved tactics in ocaml/tactics
28 files changed:
helm/gTopLevel/eliminationTactics.ml [deleted file] blob | history
helm/gTopLevel/eliminationTactics.mli [deleted file] blob | history
helm/gTopLevel/equalityTactics.ml [deleted file] blob | history
helm/gTopLevel/equalityTactics.mli [deleted file] blob | history
helm/gTopLevel/fourier.ml [deleted file] blob | history
helm/gTopLevel/fourierR.ml [deleted file] blob | history
helm/gTopLevel/fourierR.mli [deleted file] blob | history
helm/gTopLevel/introductionTactics.ml [deleted file] blob | history
helm/gTopLevel/introductionTactics.mli [deleted file] blob | history
helm/gTopLevel/negationTactics.ml [deleted file] blob | history
helm/gTopLevel/negationTactics.mli [deleted file] blob | history
helm/gTopLevel/primitiveTactics.ml [deleted file] blob | history
helm/gTopLevel/primitiveTactics.mli [deleted file] blob | history
helm/gTopLevel/proofEngineHelpers.ml [deleted file] blob | history
helm/gTopLevel/proofEngineHelpers.mli [deleted file] blob | history
helm/gTopLevel/proofEngineReduction.ml [deleted file] blob | history
helm/gTopLevel/proofEngineReduction.mli [deleted file] blob | history
helm/gTopLevel/proofEngineStructuralRules.ml [deleted file] blob | history
helm/gTopLevel/proofEngineStructuralRules.mli [deleted file] blob | history
helm/gTopLevel/proofEngineTypes.ml [deleted file] blob | history
helm/gTopLevel/reductionTactics.ml [deleted file] blob | history
helm/gTopLevel/reductionTactics.mli [deleted file] blob | history
helm/gTopLevel/ring.ml [deleted file] blob | history
helm/gTopLevel/ring.mli [deleted file] blob | history
helm/gTopLevel/tacticals.ml [deleted file] blob | history
helm/gTopLevel/tacticals.mli [deleted file] blob | history
helm/gTopLevel/variousTactics.ml [deleted file] blob | history
helm/gTopLevel/variousTactics.mli [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.