Sat, 30 Sep 2006 21:39:27 +0200 tuned proofs;
wenzelm [Sat, 30 Sep 2006 21:39:27 +0200] rev 20802
tuned proofs;
Sat, 30 Sep 2006 21:39:25 +0200 proper import of Main HOL;
wenzelm [Sat, 30 Sep 2006 21:39:25 +0200] rev 20801
proper import of Main HOL;
Sat, 30 Sep 2006 21:39:24 +0200 tuned specifications and proofs;
wenzelm [Sat, 30 Sep 2006 21:39:24 +0200] rev 20800
tuned specifications and proofs;
Sat, 30 Sep 2006 21:39:22 +0200 hides popular names (from Datatype.thy);
wenzelm [Sat, 30 Sep 2006 21:39:22 +0200] rev 20799
hides popular names (from Datatype.thy);
Sat, 30 Sep 2006 21:39:20 +0200 removed obsolete sum_case_Inl/Inr;
wenzelm [Sat, 30 Sep 2006 21:39:20 +0200] rev 20798
removed obsolete sum_case_Inl/Inr; moved 'hide' to Datatype_Universe; tuned proofs;
Sat, 30 Sep 2006 21:39:17 +0200 renamed Variable.invent_fixes to Variable.variant_fixes;
wenzelm [Sat, 30 Sep 2006 21:39:17 +0200] rev 20797
renamed Variable.invent_fixes to Variable.variant_fixes;
Sat, 30 Sep 2006 20:54:34 +0200 generalize proofs of DERIV_isCont and DERIV_mult
huffman [Sat, 30 Sep 2006 20:54:34 +0200] rev 20796
generalize proofs of DERIV_isCont and DERIV_mult
Sat, 30 Sep 2006 19:41:06 +0200 generalized some DERIV proofs
huffman [Sat, 30 Sep 2006 19:41:06 +0200] rev 20795
generalized some DERIV proofs
Sat, 30 Sep 2006 18:04:28 +0200 add scaleR lemmas
huffman [Sat, 30 Sep 2006 18:04:28 +0200] rev 20794
add scaleR lemmas
Sat, 30 Sep 2006 17:36:55 +0200 generalize type of DERIV
huffman [Sat, 30 Sep 2006 17:36:55 +0200] rev 20793
generalize type of DERIV
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip