| Fri, 23 Apr 1999 12:23:21 +0200 | paulson | Now for recdefs that omit the WF relation; | file | diff | annotate |
| Mon, 23 Jun 1997 11:30:35 +0200 | paulson | Removal of COND_CONG, which is just if_cong RS eq_reflection | file | diff | annotate |
| Thu, 22 May 1997 15:13:16 +0200 | paulson | New headers and other minor changes | file | diff | annotate |
| Wed, 21 May 1997 10:59:14 +0200 | paulson | Code tidying: removal of C combinator | 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, 18 Oct 1996 12:41:04 +0200 | paulson | Konrad Slind's TFL | file | diff | annotate |