]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 370f967) | patch
Rearranged tactics in VariousTactics into new modules EliminationTactics,
authorMichele Galatà <??>
Fri, 13 Dec 2002 09:27:05 +0000 (09:27 +0000)
committerMichele Galatà <??>
Fri, 13 Dec 2002 09:27:05 +0000 (09:27 +0000)
commit4c47727977f13d6e4946fb78bad8d25e8a22a10c
treeeaab1fa8c32c86487cfd53939f71e828dee8a3edtree | snapshot
parent370f967a478c116fcc85a81c7953363b4351a2e9commit | diff
Rearranged tactics in VariousTactics into new modules EliminationTactics,
EqualityTactics, IntroductionTactics and NegationTactics.
21 files changed:
helm/gTopLevel/eliminationTactics.cmi [new file with mode: 0644] blob
helm/gTopLevel/eliminationTactics.cmx [new file with mode: 0644] blob
helm/gTopLevel/eliminationTactics.ml [new file with mode: 0644] blob
helm/gTopLevel/eliminationTactics.mli [new file with mode: 0644] blob
helm/gTopLevel/eliminationTactics.o [new file with mode: 0644] blob
helm/gTopLevel/equalityTactics.cmi [new file with mode: 0644] blob
helm/gTopLevel/equalityTactics.cmx [new file with mode: 0644] blob
helm/gTopLevel/equalityTactics.ml [new file with mode: 0644] blob
helm/gTopLevel/equalityTactics.mli [new file with mode: 0644] blob
helm/gTopLevel/equalityTactics.o [new file with mode: 0644] blob
helm/gTopLevel/introductionTactics.cmi [new file with mode: 0644] blob
helm/gTopLevel/introductionTactics.cmx [new file with mode: 0644] blob
helm/gTopLevel/introductionTactics.ml [new file with mode: 0644] blob
helm/gTopLevel/introductionTactics.mli [new file with mode: 0644] blob
helm/gTopLevel/introductionTactics.o [new file with mode: 0644] blob
helm/gTopLevel/negationTactics.cmi [new file with mode: 0644] blob
helm/gTopLevel/negationTactics.cmx [new file with mode: 0644] blob
helm/gTopLevel/negationTactics.ml [new file with mode: 0644] blob
helm/gTopLevel/negationTactics.mli [new file with mode: 0644] blob
helm/gTopLevel/negationTactics.o [new file with mode: 0644] blob
helm/gTopLevel/variousTactics.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.