| Thu, 09 Nov 2006 00:43:12 +0100 | huffman | added lemma mult_mono' | changeset | files |
| Thu, 09 Nov 2006 00:19:16 +0100 | huffman | added LIM_norm and related lemmas | changeset | files |
| 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 |