Fri, 24 Nov 2006 13:43:44 +0100 | krauss | The function package declares the [code] attribute automatically again. | changeset | files |
Fri, 24 Nov 2006 13:39:22 +0100 | krauss | exported mk_base_funs for use by size-change tools | changeset | files |
Fri, 24 Nov 2006 13:24:30 +0100 | paulson | ATP linkup now generates "new TPTP" rather than "old TPTP" | changeset | files |
Thu, 23 Nov 2006 23:05:28 +0100 | wenzelm | more careful declaration of "inducts"; | changeset | files |
Thu, 23 Nov 2006 22:38:32 +0100 | wenzelm | tuned; | changeset | files |
Thu, 23 Nov 2006 22:38:30 +0100 | wenzelm | prefer Proof.context over Context.generic; | changeset | files |