| 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 |
| 1996-08-02 | berghofe | 1996-08-02 | Classical tactics now use default claset. | file | diff | annotate |
| 1996-03-12 | clasohm | 1996-03-12 | added constdefs section | file | diff | annotate |
| 1996-01-15 | wenzelm | 1996-01-15 | added this stuff; | file | diff | annotate |