| Fri, 19 Jan 2007 22:08:23 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Tue, 21 Mar 2006 12:18:15 +0100 | wenzelm | avoid polymorphic equality; | file | diff | annotate |
| Mon, 21 Jun 2004 10:25:57 +0200 | kleing | Merged in license change from Isabelle2004 | file | diff | annotate |
| Mon, 10 May 2004 19:26:42 +0200 | wenzelm | changed Symbol.beginning; | file | diff | annotate |
| Fri, 16 Apr 2004 18:45:56 +0200 | berghofe | Replaced quote by Library.quote, since quote now refers to Symbol.quote | file | diff | annotate |
| Tue, 12 Feb 2002 20:34:02 +0100 | wenzelm | ANTIQUOTE_FAIL; | file | diff | annotate |
| Sun, 25 Jun 2000 23:56:47 +0200 | wenzelm | Text with antiquotations of inner items (terms, types etc.). | file | diff | annotate |