| Sat, 17 Nov 2012 21:01:11 +0100 |
wenzelm |
prefer absolute default $USER_HOME/Scratch.thy;
|
changeset |
files
|
| Sat, 17 Nov 2012 20:47:56 +0100 |
wenzelm |
more portable process exit;
|
changeset |
files
|
| Sat, 17 Nov 2012 20:38:57 +0100 |
wenzelm |
tuned -- eliminate pointless ML method definition;
|
changeset |
files
|
| Sat, 17 Nov 2012 20:29:17 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Sat, 17 Nov 2012 20:19:34 +0100 |
wenzelm |
NEWS;
|
changeset |
files
|
| Sat, 17 Nov 2012 20:10:28 +0100 |
wenzelm |
tuned structure of Isabelle/HOL;
|
changeset |
files
|
| Sat, 17 Nov 2012 19:46:32 +0100 |
wenzelm |
method setup for Classical steps;
|
changeset |
files
|
| Sat, 17 Nov 2012 17:55:52 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Sat, 17 Nov 2012 17:42:19 +0100 |
wenzelm |
updated keywords;
|
changeset |
files
|
| Fri, 16 Nov 2012 19:14:23 +0100 |
hoelzl |
moved (b)choice_iff(') to Hilbert_Choice
|
changeset |
files
|
| Fri, 16 Nov 2012 18:45:57 +0100 |
hoelzl |
move theorems to be more generally useable
|
changeset |
files
|
| Fri, 16 Nov 2012 18:49:46 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Fri, 16 Nov 2012 16:59:56 +0100 |
wenzelm |
made SML/NJ happy;
|
changeset |
files
|
| Fri, 16 Nov 2012 14:46:23 +0100 |
hoelzl |
renamed prob_space to proj_prob_space as it clashed with Probability_Measure.prob_space
|
changeset |
files
|
| Fri, 16 Nov 2012 14:46:23 +0100 |
hoelzl |
renamed measurable_compose -> measurable_finmap_compose, clashed with Sigma_Algebra.measurable_compose
|
changeset |
files
|