| Fri, 23 Apr 1999 12:23:21 +0200 | paulson | Now for recdefs that omit the WF relation; | file | diff | annotate |
| Thu, 25 Sep 1997 12:25:29 +0200 | paulson | Deleted the unused list_mk_disj | file | diff | annotate |
| Thu, 05 Jun 1997 13:27:28 +0200 | paulson | Numerous simplifications and removal of HOL-isms | file | diff | annotate |
| Tue, 03 Jun 1997 11:08:08 +0200 | paulson | More de-HOLification: using Free, Const, etc. instead of mk_var, mk_const | 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:27:58 +0200 | paulson | Deleted unused functions | file | diff | annotate |
| Thu, 22 May 1997 15:13:16 +0200 | paulson | New headers and other minor changes | 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 |
| Fri, 18 Oct 1996 12:41:04 +0200 | paulson | Konrad Slind's TFL | file | diff | annotate |