| Sun, 28 Dec 1997 14:56:44 +0100 | wenzelm | renamed Symtab.null to Symtab.empty; | file | diff | annotate |
| Tue, 26 Nov 1996 16:26:06 +0100 | paulson | Eta-expansion of a function definition, for value polymorphism | file | diff | annotate |
| Thu, 14 Nov 1996 14:32:01 +0100 | wenzelm | removed silly message; | file | diff | annotate |
| Fri, 15 Mar 1996 12:01:19 +0100 | berghofe | Added some functions which allow redirection of Isabelle's output | file | diff | annotate |
| Fri, 16 Feb 1996 14:17:34 +0100 | paulson | Elimination of fully-functorial style. | file | diff | annotate |
| Mon, 15 Jan 1996 15:00:14 +0100 | clasohm | added comments | file | diff | annotate |
| Mon, 03 Jul 1995 13:37:29 +0200 | clasohm | removed debugging output | file | diff | annotate |