]>
2004-11-17 | Matteo Selmi | Resolved problem occured when "=" in MainConclusion |
commit | commitdiff | tree |
2004-11-17 | Matteo Selmi | Removed duplicated uri in sigmatch |
commit | commitdiff | tree |
2004-11-17 | Matteo Selmi | Bug fix |
commit | commitdiff | tree |
2004-07-13 | Matteo Selmi | Modified filtering function |
commit | commitdiff | tree |
2004-06-18 | Matteo Selmi | Corrections to "auto" tactic |
commit | commitdiff | tree |
2004-05-31 | Matteo Selmi | New filtering function for "Auto" tactic using "just... |
commit | commitdiff | tree |
2004-05-25 | Matteo Selmi | written a new sort function to postpone the resolution... |
commit | commitdiff | tree |
2004-05-21 | Matteo Selmi | Added a sort function to decide the order of theorems... |
commit | commitdiff | tree |
2004-05-17 | Matteo Selmi | Added a filter for uris in tactic "auto". |
commit | commitdiff | tree |
2004-03-31 | Matteo Selmi | tacticChaser modified to avoid double "apply" and to... |
commit | commitdiff | tree |