| Wed, 21 May 1997 10:58:24 +0200 | paulson | Basis library input/output primitives; \!simpset instead of HOL_ss | file | diff | annotate |
| Tue, 20 May 1997 11:49:57 +0200 | paulson | Removal of redundant code (unused or already present in Isabelle. | file | diff | annotate |
| Thu, 15 May 1997 12:29:59 +0200 | paulson | TFL now integrated with HOL (more work needed) | file | diff | annotate |
| Fri, 03 Jan 1997 10:45:31 +0100 | paulson | Conversion to Basis Library (using prs instead of output) | file | diff | annotate |
| Fri, 18 Oct 1996 12:41:04 +0200 | paulson | Konrad Slind's TFL | file | diff | annotate |