| Mon, 21 Jun 2004 10:25:57 +0200 | kleing | Merged in license change from Isabelle2004 | file | diff | annotate |
| Fri, 01 Sep 2000 17:54:58 +0200 | wenzelm | GPLed; | file | diff | annotate |
| Thu, 18 Jun 1998 18:31:06 +0200 | wenzelm | tuned \s pattern; | file | diff | annotate |
| Thu, 18 Jun 1998 10:48:21 +0200 | wenzelm | replace goal(w) commands by implicit versions Goal(w); | file | diff | annotate |