| Mon, 18 Sep 2000 14:10:31 +0200 | wenzelm | indicate occurrences of 'handle _'; | file | diff | annotate |
| Wed, 06 Sep 2000 16:54:12 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 16 Aug 1999 22:08:23 +0200 | wenzelm | replaced "op #" by "Cons"; | file | diff | annotate |
| Wed, 17 Mar 1999 17:20:36 +0100 | wenzelm | Theory.sign_of; | 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 |
| 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 |