| 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 |