Mon, 21 Dec 2015 19:08:26 +0100 hoelzl Bochner integral: prove dominated convergence at_top
Mon, 21 Dec 2015 23:24:05 +0100 wenzelm dead code;
Mon, 21 Dec 2015 21:53:49 +0100 wenzelm tuned spelling;
Mon, 21 Dec 2015 21:50:16 +0100 wenzelm merged
Mon, 21 Dec 2015 21:48:36 +0100 wenzelm misc tuning and modernization;
Mon, 21 Dec 2015 21:34:14 +0100 haftmann merged
Sat, 19 Dec 2015 17:03:17 +0100 haftmann documentation on last state of the art concerning interpretation
Sat, 19 Dec 2015 11:05:04 +0100 haftmann abandoned attempt to unify sublocale and interpretation into global theories
Mon, 21 Dec 2015 17:20:57 +0100 wenzelm updated Cygwin (somewhere after 1.7.35-1);
Mon, 21 Dec 2015 17:12:17 +0100 wenzelm merged
Mon, 21 Dec 2015 16:30:35 +0100 wenzelm merged
Mon, 21 Dec 2015 15:46:23 +0100 wenzelm tuned message;
Mon, 21 Dec 2015 15:09:35 +0100 wenzelm more explicit ML profiling, with official Isabelle output;
Mon, 21 Dec 2015 14:18:57 +0100 wenzelm discontinued built-in profiling: avoid danger of conflicting invocations (multithreading etc.);
Mon, 21 Dec 2015 13:39:45 +0100 wenzelm clarified length of block with pre-existant forced breaks;
Mon, 21 Dec 2015 17:08:52 +0100 hoelzl Probability: fix coercions (real ~> real_of_enat)
Mon, 21 Dec 2015 14:44:44 +0100 hoelzl Transcendental: use [simp]-canonical form - (pi/2)
Thu, 17 Dec 2015 16:43:36 +0100 hoelzl moved some theorems from the CLT proof; reordered some theorems / notation
Sun, 20 Dec 2015 13:56:02 +0100 wenzelm tuned whitespace;
Sun, 20 Dec 2015 13:11:47 +0100 wenzelm tuned signature;
Sun, 20 Dec 2015 13:06:26 +0100 wenzelm renamed Pretty.str_of to Pretty.unformatted_string_of to emphasize its meaning;
Sun, 20 Dec 2015 13:03:41 +0100 wenzelm proper formatting via Pretty.string_of;
Sun, 20 Dec 2015 12:50:48 +0100 wenzelm unused;
Sun, 20 Dec 2015 12:48:56 +0100 wenzelm tuned;
Sat, 19 Dec 2015 23:25:23 +0100 wenzelm prune old document versions more frequently, for reduced heap usage;
Sat, 19 Dec 2015 23:19:10 +0100 wenzelm merged
Sat, 19 Dec 2015 23:16:47 +0100 wenzelm more explicit Pretty.Tree, like in ML;
Sat, 19 Dec 2015 22:25:01 +0100 wenzelm tuned;
Sat, 19 Dec 2015 19:52:52 +0100 wenzelm clarified underlying datatypes;
Sat, 19 Dec 2015 19:07:14 +0100 wenzelm tuned;
Sat, 19 Dec 2015 15:31:53 +0100 wenzelm prefer default focus policy, like Output dockable;
Sat, 19 Dec 2015 15:20:38 +0100 wenzelm tuned;
Sat, 19 Dec 2015 15:14:59 +0100 wenzelm tuned signature;
Sat, 19 Dec 2015 14:47:52 +0100 wenzelm support for blocks with consistent breaks;
Sat, 19 Dec 2015 10:59:14 +0100 wenzelm preserve break indentation;
Thu, 17 Dec 2015 17:32:01 +0100 wenzelm support pretty break indent, like underlying ML systems;
Sat, 19 Dec 2015 20:02:51 +0100 blanchet register record functions as 'Spec_Rules'
Sat, 19 Dec 2015 20:02:51 +0100 blanchet cleaner generation of metainformation in DFG format and TPTP theory exporter for Sledgehammer
Sat, 19 Dec 2015 20:02:51 +0100 blanchet removed subsumed dependency
Sat, 19 Dec 2015 20:02:51 +0100 blanchet removed dead code
Fri, 18 Dec 2015 14:23:11 +0100 Andreas Lochbihler add serialisation for abs on integer to target language operation
Fri, 18 Dec 2015 11:14:28 +0100 Andreas Lochbihler add gcd instance for integer and serialisation to target language operations
Wed, 16 Dec 2015 17:30:30 +0100 wenzelm merged
Wed, 16 Dec 2015 17:28:49 +0100 wenzelm tuned whitespace;
Wed, 16 Dec 2015 16:31:36 +0100 wenzelm rule_attribute and declaration_attribute implicitly support abstract closure, but mixed_attribute implementations need to be aware of Thm.is_free_dummy;
Tue, 15 Dec 2015 16:57:10 +0100 wenzelm tuned signature -- clarified modules;
Tue, 15 Dec 2015 16:01:57 +0100 wenzelm unused;
Tue, 15 Dec 2015 11:34:28 +0100 wenzelm unused;
Tue, 15 Dec 2015 14:41:47 +0000 paulson Merge
Tue, 15 Dec 2015 14:40:36 +0000 paulson New complex analysis material
Wed, 25 Nov 2015 22:44:02 +0100 hoelzl infix syntax for measurable set
Mon, 14 Dec 2015 14:05:31 +0100 wenzelm more standard term equality;
Mon, 14 Dec 2015 11:47:32 +0100 wenzelm tuned;
Mon, 14 Dec 2015 11:20:31 +0100 wenzelm tuned signature;
Mon, 14 Dec 2015 10:14:19 +0100 wenzelm tuned message;
Sun, 13 Dec 2015 22:33:05 +0100 wenzelm merged
Sun, 13 Dec 2015 21:56:15 +0100 wenzelm more general types Proof.method / context_tactic;
Sat, 12 Dec 2015 15:37:42 +0100 wenzelm tuned;
Sat, 12 Dec 2015 15:35:31 +0100 wenzelm clarified ML scopes;
Sat, 12 Dec 2015 15:26:30 +0100 wenzelm clarified ML scopes;
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 tip