Mon, 11 Jun 2018 22:43:33 +0100 |
paulson |
tidier Cauchy proofs
|
changeset |
files
|
Mon, 11 Jun 2018 21:10:03 +0200 |
wenzelm |
merged
|
changeset |
files
|
Mon, 11 Jun 2018 18:05:43 +0200 |
wenzelm |
more abstract Export.Provider;
|
changeset |
files
|
Mon, 11 Jun 2018 17:37:44 +0200 |
wenzelm |
clarified signature: persistent results;
|
changeset |
files
|
Mon, 11 Jun 2018 15:50:28 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
Mon, 11 Jun 2018 20:45:51 +0200 |
nipkow |
tuned def. of del and proved preservation of rbt (finally)
|
changeset |
files
|
Mon, 11 Jun 2018 16:29:38 +0200 |
nipkow |
merged
|
changeset |
files
|
Mon, 11 Jun 2018 16:29:27 +0200 |
nipkow |
tuned order of arguments
|
changeset |
files
|
Mon, 11 Jun 2018 14:49:34 +0200 |
immler |
default value for parametricity of dim
|
changeset |
files
|
Mon, 11 Jun 2018 08:15:43 +0200 |
nipkow |
added lemma
|
changeset |
files
|
Sat, 09 Jun 2018 21:52:16 +0200 |
wenzelm |
clarified signature: more uniform theory_message (see also d7920eb7de54);
|
changeset |
files
|
Sat, 09 Jun 2018 13:19:57 +0200 |
wenzelm |
tuned -- use existing operation;
|
changeset |
files
|
Thu, 07 Jun 2018 22:46:40 +0200 |
wenzelm |
merged
|
changeset |
files
|
Thu, 07 Jun 2018 16:09:43 +0200 |
wenzelm |
isabelle emacs no longer exists;
|
changeset |
files
|
Thu, 07 Jun 2018 19:36:12 +0200 |
nipkow |
utilize 'flip'
|
changeset |
files
|