hoelzl [Fri, 15 Apr 2016 11:15:40 +0200] rev 62977
fix HOL-Probability-ex
hoelzl [Thu, 14 Apr 2016 15:55:00 +0200] rev 62976
change is incompatible
hoelzl [Thu, 14 Apr 2016 15:48:11 +0200] rev 62975
Probability: move emeasure and nn_integral from ereal to ennreal
wenzelm [Thu, 14 Apr 2016 12:17:44 +0200] rev 62974
tuned;
wenzelm [Thu, 14 Apr 2016 12:08:38 +0200] rev 62973
clarified modules;
wenzelm [Thu, 14 Apr 2016 12:00:29 +0200] rev 62972
tuned;
wenzelm [Thu, 14 Apr 2016 11:34:10 +0200] rev 62971
back to exact copy of non-text file (amending dcc8e1d34b18);
explicit chmod, since Files.copy appears to copy permissions regardless of StandardCopyOption.COPY_ATTRIBUTES;
wenzelm [Wed, 13 Apr 2016 18:04:27 +0200] rev 62970
merged
wenzelm [Wed, 13 Apr 2016 18:01:05 +0200] rev 62969
eliminated "xname" and variants;
wenzelm [Wed, 13 Apr 2016 17:00:02 +0200] rev 62968
clarified syntax;
wenzelm [Wed, 13 Apr 2016 16:46:05 +0200] rev 62967
more completions, independently on accidental external form (e.g. "Map.empty" with its redundant prefix);
wenzelm [Wed, 13 Apr 2016 14:25:02 +0200] rev 62966
tuned;
wenzelm [Wed, 13 Apr 2016 11:31:13 +0200] rev 62965
clarified syntax;
wenzelm [Wed, 13 Apr 2016 11:26:52 +0200] rev 62964
avoid quotes for qualified names;
immler [Wed, 13 Apr 2016 14:12:51 +0200] rev 62963
added rule
wenzelm [Tue, 12 Apr 2016 18:49:39 +0200] rev 62962
tuned;
wenzelm [Tue, 12 Apr 2016 15:01:06 +0200] rev 62961
merged
wenzelm [Tue, 12 Apr 2016 15:00:26 +0200] rev 62960
simplified -- avoid odd mutable state, which potentially causes problems with module initialization;
wenzelm [Tue, 12 Apr 2016 14:50:53 +0200] rev 62959
back to static Mixfix.default_constraint without any special tricks (reverting e6443edaebff);
wenzelm [Tue, 12 Apr 2016 14:38:57 +0200] rev 62958
Type_Infer.object_logic controls improvement of type inference result;
wenzelm [Tue, 12 Apr 2016 13:49:37 +0200] rev 62957
tuned;
wenzelm [Mon, 11 Apr 2016 15:50:50 +0200] rev 62956
simplified constraints;
wenzelm [Mon, 11 Apr 2016 15:50:18 +0200] rev 62955
back to dummy constraints (amending dd2914250ca7): important for Syntax_Phases.get_free/is_declared;
wenzelm [Mon, 11 Apr 2016 15:26:58 +0200] rev 62954
tuned imports;
wenzelm [Mon, 11 Apr 2016 15:07:15 +0200] rev 62953
tuned message;
wenzelm [Mon, 11 Apr 2016 11:48:24 +0200] rev 62952
tuned;
immler [Tue, 12 Apr 2016 11:18:29 +0200] rev 62951
added lemmas
immler [Tue, 12 Apr 2016 11:18:29 +0200] rev 62950
generalized
immler [Tue, 12 Apr 2016 11:18:29 +0200] rev 62949
added derivative of scaling in exponential function
paulson <lp15@cam.ac.uk> [Mon, 11 Apr 2016 16:27:42 +0100] rev 62948
lots of new theorems for multivariate analysis