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 |