| Tue, 12 Apr 2016 15:00:26 +0200 |
wenzelm |
simplified -- avoid odd mutable state, which potentially causes problems with module initialization;
|
changeset |
files
|
| Tue, 12 Apr 2016 14:50:53 +0200 |
wenzelm |
back to static Mixfix.default_constraint without any special tricks (reverting e6443edaebff);
|
changeset |
files
|
| Tue, 12 Apr 2016 14:38:57 +0200 |
wenzelm |
Type_Infer.object_logic controls improvement of type inference result;
|
changeset |
files
|
| Tue, 12 Apr 2016 13:49:37 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Mon, 11 Apr 2016 15:50:50 +0200 |
wenzelm |
simplified constraints;
|
changeset |
files
|
| Mon, 11 Apr 2016 15:50:18 +0200 |
wenzelm |
back to dummy constraints (amending dd2914250ca7): important for Syntax_Phases.get_free/is_declared;
|
changeset |
files
|
| Mon, 11 Apr 2016 15:26:58 +0200 |
wenzelm |
tuned imports;
|
changeset |
files
|
| Mon, 11 Apr 2016 15:07:15 +0200 |
wenzelm |
tuned message;
|
changeset |
files
|
| Mon, 11 Apr 2016 11:48:24 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Tue, 12 Apr 2016 11:18:29 +0200 |
immler |
added lemmas
|
changeset |
files
|
| Tue, 12 Apr 2016 11:18:29 +0200 |
immler |
generalized
|
changeset |
files
|
| Tue, 12 Apr 2016 11:18:29 +0200 |
immler |
added derivative of scaling in exponential function
|
changeset |
files
|
| Mon, 11 Apr 2016 16:27:42 +0100 |
paulson |
lots of new theorems for multivariate analysis
|
changeset |
files
|
| Sun, 10 Apr 2016 23:15:34 +0200 |
wenzelm |
tuned;
|
changeset |
files
|