| Fri, 12 Oct 2001 12:11:39 +0200 | wenzelm | declare impE iffD1 iffD2 ad elim of Pure; | file | diff | annotate |
| Thu, 04 Oct 2001 15:28:00 +0200 | wenzelm | atomize stuff from theory FOL; | file | diff | annotate |
| Thu, 07 Sep 2000 20:47:54 +0200 | wenzelm | updated setup; | file | diff | annotate |
| Fri, 04 Aug 2000 22:55:08 +0200 | wenzelm | setup hypsubst_setup; | file | diff | annotate |
| Wed, 25 Aug 1999 20:45:19 +0200 | wenzelm | proper bootstrap of IFOL/FOL theories and packages; | file | diff | annotate |
| Wed, 10 Mar 1999 10:55:12 +0100 | wenzelm | HTML output; | file | diff | annotate |
| Fri, 11 Dec 1998 18:56:30 +0100 | oheimb | added new print_mode "xsymbols" for extended symbol support | file | diff | annotate |
| Wed, 29 Apr 1998 11:29:39 +0200 | wenzelm | tuned setup; | file | diff | annotate |
| Sat, 04 Apr 1998 12:28:39 +0200 | wenzelm | replaced thy_data by thy_setup; | file | diff | annotate |
| Mon, 03 Nov 1997 12:26:45 +0100 | wenzelm | added simpset thy_data; | file | diff | annotate |
| Mon, 20 Oct 1997 10:38:36 +0200 | wenzelm | local; | file | diff | annotate |
| Thu, 16 Oct 1997 15:33:06 +0200 | wenzelm | global; | file | diff | annotate |
| Fri, 10 Oct 1997 15:52:12 +0200 | wenzelm | fixed dots; | file | diff | annotate |
| Tue, 10 Dec 1996 13:03:44 +0100 | wenzelm | fixed pris of binder syntax; | file | diff | annotate |
| Wed, 27 Nov 1996 16:42:48 +0100 | wenzelm | symbol names changes; | file | diff | annotate |