| Sat, 20 Dec 2008 11:55:34 +0100 | wenzelm | removed Ids; | file | diff | annotate |
| Sat, 14 Jun 2008 23:33:43 +0200 | wenzelm | added ~: and ~=; | file | diff | annotate |
| Mon, 21 Jun 2004 10:25:57 +0200 | kleing | Merged in license change from Isabelle2004 | file | diff | annotate |
| Tue, 28 May 2002 11:06:55 +0200 | paulson | added <-> and ~ | file | diff | annotate |
| Mon, 11 Dec 2000 20:08:19 +0100 | wenzelm | harpoons; | file | diff | annotate |
| Tue, 21 Nov 2000 19:03:27 +0100 | wenzelm | replace \<dots>; | file | diff | annotate |
| Mon, 25 Sep 2000 16:31:50 +0200 | wenzelm | tuned replacements; | file | diff | annotate |
| Mon, 18 Sep 2000 23:43:56 +0200 | wenzelm | remove unreadable symbol names from sources; | file | diff | annotate |