]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f654787) | patch
New tactic Auto.
authoracerioni <??>
Fri, 12 Mar 2004 10:12:25 +0000 (10:12 +0000)
committeracerioni <??>
Fri, 12 Mar 2004 10:12:25 +0000 (10:12 +0000)
commit9fb6ab77869badc621194768935c8ddbb39193a0
treef3cbe043b8db96c0f66ef8484b498186976141dctree | snapshot
parentf654787b2156ede958a1d35ca8daf239de1b7b89commit | diff
New tactic Auto.
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.