| Wed, 25 Aug 1999 20:45:19 +0200 | wenzelm | proper bootstrap of IFOL/FOL theories and packages; | file | diff | annotate |
| Sat, 10 Jul 1999 21:44:26 +0200 | wenzelm | handle THM exn; | file | diff | annotate |
| Wed, 13 Jan 1999 12:08:18 +0100 | paulson | generalized qed_spec_mp code to work for ZF | file | diff | annotate |
| Tue, 12 Jan 1999 13:39:41 +0100 | wenzelm | eliminated Attribute structure; | file | diff | annotate |
| Tue, 01 Dec 1998 14:48:24 +0100 | wenzelm | removed duplicate contrapos; | file | diff | annotate |
| Mon, 16 Nov 1998 11:11:58 +0100 | wenzelm | attrib_setup: rulify; | file | diff | annotate |
| Thu, 13 Aug 1998 17:28:52 +0200 | paulson | stac now handles definitions as well as equalities | file | diff | annotate |