| Thu, 09 Nov 2006 11:58:45 +0100 | wenzelm | updated; | changeset | files |
| Thu, 09 Nov 2006 11:58:43 +0100 | wenzelm | lfp_induct_set; | changeset | files |
| Thu, 09 Nov 2006 11:58:13 +0100 | wenzelm | modified less/less_eq syntax to avoid "x < y < z" etc.; | changeset | files |
| 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 |