]> matita.cs.unibo.it Git - helm.git/commit
Added Decompose tactic
authorMichele Galatà <??>
Fri, 24 Jan 2003 11:15:57 +0000 (11:15 +0000)
committerMichele Galatà <??>
Fri, 24 Jan 2003 11:15:57 +0000 (11:15 +0000)
commit646460657ac3945ba1c5ed6817fde4b5c806d175
treed3b9af91df2eaa6d91b6d5051d73f522d20f0275
parent23612b6dbb05ee519edd00dd7555ab42fcd71c7e
Added Decompose tactic
helm/gTopLevel/eliminationTactics.ml
helm/gTopLevel/eliminationTactics.mli
helm/gTopLevel/equalityTactics.ml
helm/gTopLevel/esempi/decompose.cic [new file with mode: 0644]
helm/gTopLevel/gTopLevel.ml
helm/gTopLevel/introductionTactics.ml
helm/gTopLevel/negationTactics.ml
helm/gTopLevel/proofEngine.ml
helm/gTopLevel/proofEngine.mli
helm/gTopLevel/tacticals.ml
helm/gTopLevel/variousTactics.ml