Tue, 21 Dec 2010 08:43:39 -0800 | huffman | declare more simp rules, rewrite proofs in Isar-style | changeset | files |
Tue, 21 Dec 2010 16:41:31 +0100 | hoelzl | merged | changeset | files |
Tue, 21 Dec 2010 15:00:59 +0100 | hoelzl | use DERIV_intros | changeset | files |