]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e974eb6) | patch
Added new module DiscriminationTactics
authorMichele Galatà <??>
Tue, 4 Feb 2003 17:59:06 +0000 (17:59 +0000)
committerMichele Galatà <??>
Tue, 4 Feb 2003 17:59:06 +0000 (17:59 +0000)
commit70f06c25a96ecee162d88e0b0beb33a42151e46f
tree53d23da9c6533927498f3123e51d7c9f2301524dtree | snapshot
parente974eb6799c994efdee15aa47a34909360dc0aeccommit | diff
Added new module DiscriminationTactics
helm/gTopLevel/proofEngine.ml diff | blob | history
helm/ocaml/tactics/.depend diff | blob | history
helm/ocaml/tactics/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.