| 1997-11-05 | paulson | 1997-11-05 | Ran expandshort, especially to introduce Safe_tac | file | diff | annotate |
| 1997-11-03 | wenzelm | 1997-11-03 | isatool fixclasimp; | file | diff | annotate |
| 1997-02-12 | wenzelm | 1997-02-12 | tuned names: partial order, linear order; | file | diff | annotate |
| 1996-08-02 | berghofe | 1996-08-02 | Classical tactics now use default claset. | file | diff | annotate |
| 1996-01-15 | wenzelm | 1996-01-15 | added this stuff; | file | diff | annotate |