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 |