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 |