]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3b1f837) | patch
Added a sort function to decide the order of theorems to try in the tactic "auto".
authorMatteo Selmi <matteo.selmi@mail.polimi.it>
Fri, 21 May 2004 16:44:53 +0000 (16:44 +0000)
committerMatteo Selmi <matteo.selmi@mail.polimi.it>
Fri, 21 May 2004 16:44:53 +0000 (16:44 +0000)
commite76b78d1d80796de1b8f6a469741cbd26cd4d822
treeed84a59d699bba4bb390e3bf55fa1fe85056097btree | snapshot
parent3b1f83736ed6e8d73782bee68b903cb196056ff7commit | diff
Added a sort function to decide the order of theorems to try in the tactic "auto".
helm/ocaml/tactics/filter_auto.ml diff | blob | history
helm/ocaml/tactics/tacticChaser.ml diff | blob | history
helm/ocaml/tactics/variousTactics.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.