]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3066e4d) | patch
Added variousTactic with Constructor, Left, Right, Exists, Reflexivity, Symmetry...
authorMichele Galatà <??>
Thu, 31 Oct 2002 14:49:40 +0000 (14:49 +0000)
committerMichele Galatà <??>
Thu, 31 Oct 2002 14:49:40 +0000 (14:49 +0000)
commit373eaf73bebec626e031a4a534ddfdd4f1c1b474
tree765e3443d7c7ba174a52939fd159d5dc5bf61452tree | snapshot
parent3066e4dcb7270a5eb20020a91d45da9eb87e2f2ecommit | diff
Added variousTactic with Constructor, Left, Right, Exists, Reflexivity, Symmetry, Transitivity
Added tacticals Repeat, Do, Try, Solve
13 files changed:
helm/gTopLevel/.depend diff | blob | history
helm/gTopLevel/Makefile diff | blob | history
helm/gTopLevel/esempi/various.cic [new file with mode: 0644] blob
helm/gTopLevel/fourierR.ml diff | blob | history
helm/gTopLevel/gTopLevel.ml diff | blob | history
helm/gTopLevel/proofEngine.ml diff | blob | history
helm/gTopLevel/proofEngine.mli diff | blob | history
helm/gTopLevel/ring.ml diff | blob | history
helm/gTopLevel/ring.mli diff | blob | history
helm/gTopLevel/tacticals.ml diff | blob | history
helm/gTopLevel/tacticals.mli diff | blob | history
helm/gTopLevel/variousTactics.ml [new file with mode: 0644] blob
helm/gTopLevel/variousTactics.mli [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.