]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7bf5d65) | patch
Added buttons for new tactics Injection and Discriminate
authorMichele Galatà <??>
Tue, 4 Feb 2003 17:51:55 +0000 (17:51 +0000)
committerMichele Galatà <??>
Tue, 4 Feb 2003 17:51:55 +0000 (17:51 +0000)
commite974eb6799c994efdee15aa47a34909360dc0aec
treeb9ad01762b7e90e1232b40636e3dfbec501575e8tree | snapshot
parent7bf5d654c18fee290e7e402800543fe40223c04bcommit | diff
Added buttons for new tactics Injection and Discriminate
helm/gTopLevel/esempi/decompose.cic diff | blob | history
helm/gTopLevel/gTopLevel.ml diff | blob | history
helm/gTopLevel/invokeTactics.ml diff | blob | history
helm/gTopLevel/invokeTactics.mli diff | blob | history
helm/gTopLevel/proofEngine.ml diff | blob | history
helm/gTopLevel/proofEngine.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.