]>
2009-04-02 | Enrico Tassi | ... | tree | commitdiff |
2009-04-02 | Enrico Tassi | New file nTacStatus to: | tree | commitdiff |
2009-04-02 | Enrico Tassi | added analyse_indty | tree | commitdiff |
2009-04-01 | Claudio Sacerdoti... | New tactic "case1_tac" that make "intro" followed by... | tree | commitdiff |
2009-04-01 | Claudio Sacerdoti... | New tactic intro. Syntax: "# n". | tree | commitdiff |
2009-04-01 | Enrico Tassi | added tentative elim | tree | commitdiff |
2009-04-01 | Enrico Tassi | 1) mk_meta now returns also the index of the created... | tree | commitdiff |
2009-03-30 | Enrico Tassi | tentative subst-sexpand and change | tree | commitdiff |
2009-03-30 | Enrico Tassi | ... | tree | commitdiff |
2009-03-27 | Enrico Tassi | more comments | tree | commitdiff |
2009-03-27 | Enrico Tassi | exec and distribute implemented | tree | commitdiff |
2009-03-26 | Enrico Tassi | new apply almost there | tree | commitdiff |
2009-03-25 | Enrico Tassi | new tactics are almost ready | tree | commitdiff |