| Wed, 08 Nov 2006 23:11:13 +0100 | wenzelm | moved theories Parity, GCD, Binomial to Library; | changeset | files |
| Wed, 08 Nov 2006 22:24:54 +0100 | krauss | added profiling code, improved handling of proof terms, generation of domain | changeset | files |
| Wed, 08 Nov 2006 21:45:15 +0100 | wenzelm | incorporated former theories Reconstruction and ResAtpMethods into ATP_Linkup; | changeset | files |
| Wed, 08 Nov 2006 21:45:14 +0100 | wenzelm | case_tr': proper handling of authentic consts; | changeset | files |
| Wed, 08 Nov 2006 21:45:13 +0100 | wenzelm | removed obsolete nat_case_tr' (duplicates case_tr' in datatype_package.ML); | changeset | files |
| Wed, 08 Nov 2006 19:48:36 +0100 | haftmann | renamed DatatypeHooks.invoke to all | changeset | files |