| Wed, 05 Nov 1997 13:23:46 +0100 | paulson | Ran expandshort, especially to introduce Safe_tac | file | diff | annotate |
| Mon, 03 Nov 1997 12:13:18 +0100 | wenzelm | isatool fixclasimp; | file | diff | annotate |
| Mon, 23 Jun 1997 10:42:03 +0200 | paulson | Ran expandshort | file | diff | annotate |
| Mon, 26 May 1997 12:33:03 +0200 | paulson | New example ported from ZF | file | diff | annotate |