]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dfa0ff9) | patch
moved tactics from gTopLevel to the new module ocaml/tactics
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 28 Jan 2003 10:23:03 +0000 (10:23 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 28 Jan 2003 10:23:03 +0000 (10:23 +0000)
commit261ccc2ead2f1816d1f0293f7505e04f7a68b5cd
tree224b4a2c7f4e4346a48b5f9c75b53ad19663fd4dtree | snapshot
parentdfa0ff915fcf79a3ef9d45b74303175ba2e49d13commit | diff
moved tactics from gTopLevel to the new module ocaml/tactics
32 files changed:
helm/ocaml/tactics/.cvsignore [new file with mode: 0644] blob
helm/ocaml/tactics/.depend [new file with mode: 0644] blob
helm/ocaml/tactics/Makefile [new file with mode: 0644] blob
helm/ocaml/tactics/eliminationTactics.ml [new file with mode: 0644] blob
helm/ocaml/tactics/eliminationTactics.mli [new file with mode: 0644] blob
helm/ocaml/tactics/equalityTactics.ml [new file with mode: 0644] blob
helm/ocaml/tactics/equalityTactics.mli [new file with mode: 0644] blob
helm/ocaml/tactics/fourier.ml [new file with mode: 0644] blob
helm/ocaml/tactics/fourier.mli [new file with mode: 0644] blob
helm/ocaml/tactics/fourierR.ml [new file with mode: 0644] blob
helm/ocaml/tactics/fourierR.mli [new file with mode: 0644] blob
helm/ocaml/tactics/introductionTactics.ml [new file with mode: 0644] blob
helm/ocaml/tactics/introductionTactics.mli [new file with mode: 0644] blob
helm/ocaml/tactics/negationTactics.ml [new file with mode: 0644] blob
helm/ocaml/tactics/negationTactics.mli [new file with mode: 0644] blob
helm/ocaml/tactics/primitiveTactics.ml [new file with mode: 0644] blob
helm/ocaml/tactics/primitiveTactics.mli [new file with mode: 0644] blob
helm/ocaml/tactics/proofEngineHelpers.ml [new file with mode: 0644] blob
helm/ocaml/tactics/proofEngineHelpers.mli [new file with mode: 0644] blob
helm/ocaml/tactics/proofEngineReduction.ml [new file with mode: 0644] blob
helm/ocaml/tactics/proofEngineReduction.mli [new file with mode: 0644] blob
helm/ocaml/tactics/proofEngineStructuralRules.ml [new file with mode: 0644] blob
helm/ocaml/tactics/proofEngineStructuralRules.mli [new file with mode: 0644] blob
helm/ocaml/tactics/proofEngineTypes.ml [new file with mode: 0644] blob
helm/ocaml/tactics/reductionTactics.ml [new file with mode: 0644] blob
helm/ocaml/tactics/reductionTactics.mli [new file with mode: 0644] blob
helm/ocaml/tactics/ring.ml [new file with mode: 0644] blob
helm/ocaml/tactics/ring.mli [new file with mode: 0644] blob
helm/ocaml/tactics/tacticals.ml [new file with mode: 0644] blob
helm/ocaml/tactics/tacticals.mli [new file with mode: 0644] blob
helm/ocaml/tactics/variousTactics.ml [new file with mode: 0644] blob
helm/ocaml/tactics/variousTactics.mli [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.