]> matita.cs.unibo.it Git - helm.git/commit
Added new tactics: Exists, Split, Assumption, Absurd, Generalize (doesn't work)
authorMichele Galatà <??>
Tue, 3 Dec 2002 11:02:33 +0000 (11:02 +0000)
committerMichele Galatà <??>
Tue, 3 Dec 2002 11:02:33 +0000 (11:02 +0000)
commit17d5498ae78a00bc81aaa8d87a925a2d6a2cf050
tree35f43682f5327f4cfa6ccc04556dc2bece71cf66
parent29af35ca2066806f81341481a9d4d52cf11e46e5
Added new tactics: Exists, Split, Assumption, Absurd, Generalize (doesn't work)
Moved ElimType from ring.ml to variousTactics.ml
Moved Contradiction from fourierR.ml to variousTactics.ml
helm/gTopLevel/fourierR.ml
helm/gTopLevel/fourierR.mli
helm/gTopLevel/gTopLevel.ml
helm/gTopLevel/proofEngine.ml
helm/gTopLevel/proofEngine.mli
helm/gTopLevel/ring.ml
helm/gTopLevel/ring.mli
helm/gTopLevel/variousTactics.ml
helm/gTopLevel/variousTactics.mli