wenzelm [Fri, 19 Aug 2011 13:55:32 +0200] rev 45172
editable raw text areas: allow user to clear content;
wenzelm [Fri, 19 Aug 2011 13:32:27 +0200] rev 45171
more robust use of set_exn_serial, which is based on PolyML.raiseWithLocation internally;
wenzelm [Fri, 19 Aug 2011 12:51:14 +0200] rev 45170
more focused use of Multithreading.interrupted: retain interrupts within task group boundary, without loss of information;
wenzelm [Fri, 19 Aug 2011 12:03:44 +0200] rev 45169
clarified Future.cond_forks: more uniform handling of exceptional situations;
huffman [Fri, 19 Aug 2011 10:46:54 -0700] rev 45168
Transcendental.thy: remove several unused lemmas and simplify some proofs
huffman [Fri, 19 Aug 2011 08:40:15 -0700] rev 45167
remove unused lemmas
huffman [Fri, 19 Aug 2011 08:39:43 -0700] rev 45166
fold definitions of sin_coeff and cos_coeff in Maclaurin lemmas
huffman [Fri, 19 Aug 2011 07:45:22 -0700] rev 45165
remove some redundant simp rules
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 19 Aug 2011 17:05:10 +0900] rev 45164
Quotient_Examples: Cset, List_Cset: Lift Inf and Sup directly.
huffman [Thu, 18 Aug 2011 22:32:19 -0700] rev 45163
merged