| Thu, 22 Nov 2001 23:15:12 +0100 | wenzelm | tuned; | file | diff | annotate |
| Thu, 01 Feb 2001 20:44:19 +0100 | wenzelm | tuned | file | diff | annotate |
| Sun, 30 Jul 2000 12:50:51 +0200 | wenzelm | ObtainFun (generalized existence reasoning); | file | diff | annotate |
| Sun, 25 Jun 2000 23:47:12 +0200 | wenzelm | added IsarOutput (token-level theory output); | file | diff | annotate |
| Mon, 06 Sep 1999 12:49:39 +0200 | wenzelm | added README; | file | diff | annotate |