| Fri, 30 May 1997 15:55:27 +0200 | paulson | Simplified the calling sequence of CONTEXT_REWRITE_RULE | file | diff | annotate |
| Tue, 27 May 1997 13:22:30 +0200 | paulson | Removal of module Mask and datatype binding with its constructor |-> | file | diff | annotate |
| Mon, 26 May 1997 12:29:55 +0200 | paulson | Now checks the name of the function being defined; | file | diff | annotate |
| Thu, 22 May 1997 15:11:56 +0200 | paulson | Now the recdef induction rule variables are named u, v, ... | 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 |