| Mon, 21 Jun 2004 10:25:57 +0200 | kleing | Merged in license change from Isabelle2004 | file | diff | annotate |
| Fri, 09 Nov 2001 00:17:09 +0100 | wenzelm | File.use; | file | diff | annotate |
| Wed, 17 Oct 2001 18:52:30 +0200 | wenzelm | tuned comments; | file | diff | annotate |
| Fri, 16 Jul 1999 22:24:42 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 12 May 1999 16:54:31 +0200 | wenzelm | rearranged some modules; | file | diff | annotate |
| Thu, 04 Feb 1999 18:17:20 +0100 | wenzelm | Symbol.use; | file | diff | annotate |
| Wed, 03 Feb 1999 17:26:27 +0100 | wenzelm | delete_tmpfiles (from thy_read.ML); | file | diff | annotate |
| Wed, 06 Aug 1997 11:56:31 +0200 | wenzelm | oops; | file | diff | annotate |
| Wed, 06 Aug 1997 11:52:16 +0200 | wenzelm | eliminated ThySynData and ThySynFun; | file | diff | annotate |
| Fri, 16 Feb 1996 18:00:47 +0100 | paulson | Elimination of fully-functorial style. | file | diff | annotate |
| Fri, 15 Jul 1994 13:30:42 +0200 | clasohm | added check for concistency of filename and theory name; | file | diff | annotate |
| Wed, 01 Jun 1994 15:44:56 +0200 | wenzelm | interface for 'user sections'; | file | diff | annotate |