]>
2004-07-13 | Matteo Selmi | Modified filtering function | blob | commitdiff | raw |
2004-06-18 | Matteo Selmi | Corrections to "auto" tactic | blob | commitdiff | raw | diff to current |
2004-05-31 | Matteo Selmi | New filtering function for "Auto" tactic using "just... | blob | commitdiff | raw | diff to current |
2004-05-21 | Matteo Selmi | Added a sort function to decide the order of theorems... | blob | commitdiff | raw | diff to current |
2004-05-18 | Andrea Asperti | Nuova implementazione di Auto "breadth-first". | blob | commitdiff | raw | diff to current |
2004-05-17 | Matteo Selmi | Added a filter for uris in tactic "auto". | blob | commitdiff | raw | diff to current |