Mon, 14 May 2007 23:09:54 +0200 | huffman | spelling: rename arcos -> arccos | changeset | files |
Mon, 14 May 2007 22:32:51 +0200 | huffman | tuned proofs | changeset | files |
Mon, 14 May 2007 20:48:32 +0200 | huffman | add lemma sgn_mult; declare real_scaleR_def and scaleR_eq_0_iff as simp rules | changeset | files |