matita.cs.unibo.it Git - helm.git/history - helm/ocaml/tactics/filter

]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/tactics/filter_auto.ml

[helm.git] / helm / ocaml / tactics / filter_auto.ml

2004-10-22	Stefano Zacchiroli	- reimplemented tacticChaser and friends in term of...	commit \| commitdiff
2004-07-13	Matteo Selmi	Modified filtering function	commit \| commitdiff
2004-06-18	Matteo Selmi	Corrections to "auto" tactic	commit \| commitdiff
2004-05-31	Matteo Selmi	New filtering function for "Auto" tactic using "just...	commit \| commitdiff
2004-05-21	Matteo Selmi	Added a sort function to decide the order of theorems...	commit \| commitdiff
2004-05-18	Andrea Asperti	Nuova implementazione di Auto "breadth-first".	commit \| commitdiff
2004-05-17	Matteo Selmi	Added a filter for uris in tactic "auto".	commit \| commitdiff

Unnamed repository; edit this file 'description' to name the repository.