wenzelm [Thu, 16 Mar 2017 23:33:39 +0100] rev 65281
SQL database operations for combined session info;
wenzelm [Thu, 16 Mar 2017 23:27:29 +0100] rev 65280
prefer non-strict default;
wenzelm [Thu, 16 Mar 2017 23:26:16 +0100] rev 65279
clarified signature (again, see also 3ed43cfc8b14);
wenzelm [Thu, 16 Mar 2017 21:22:01 +0100] rev 65278
tuned signature;
wenzelm [Thu, 16 Mar 2017 21:09:13 +0100] rev 65277
tuned;
wenzelm [Thu, 16 Mar 2017 12:00:40 +0100] rev 65276
tuned comments;
wenzelm [Thu, 16 Mar 2017 11:25:09 +0100] rev 65275
clarified message: exception output usally happens in a context without extra newline;
paulson <lp15@cam.ac.uk> [Thu, 16 Mar 2017 16:02:18 +0000] rev 65274
Removed [simp] status for Complex_eq. Also tidied some proofs
paulson <lp15@cam.ac.uk> [Thu, 16 Mar 2017 13:55:29 +0000] rev 65273
Removal of [simp] status for greaterThan_0. Moved two theorems into main HOL.
wenzelm [Wed, 15 Mar 2017 21:52:04 +0100] rev 65272
always output proof state: there is only one output buffer in Isabelle/VSCode;