| Thu, 07 Sep 2000 20:48:34 +0200 | wenzelm | eliminated rulify stuff (now in Provers/rulify.ML); | file | diff | annotate |
| Fri, 04 Aug 2000 22:56:11 +0200 | wenzelm | removed stac (now exported by HypsubstFun); | file | diff | annotate |
| Thu, 06 Jul 2000 13:28:36 +0200 | paulson | removal of batch style, and tidying | file | diff | annotate |
| Wed, 01 Sep 1999 21:21:22 +0200 | wenzelm | bind_thm; | file | diff | annotate |
| Wed, 25 Aug 1999 20:45:19 +0200 | wenzelm | proper bootstrap of IFOL/FOL theories and packages; | file | diff | annotate |