| Thu, 07 Apr 2005 09:25:33 +0200 | wenzelm | reverted renaming of Some/None in comments and strings; | file | diff | annotate |
| Thu, 03 Mar 2005 12:43:01 +0100 | skalberg | Move towards standard functions. | file | diff | annotate |
| Sun, 13 Feb 2005 17:15:14 +0100 | skalberg | Deleted Library.option type. | file | diff | annotate |
| Tue, 01 Jul 2003 10:50:26 +0200 | paulson | moved some lemmas here from ZF | file | diff | annotate |
| 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 |