| Mon, 11 Nov 2013 21:04:30 +0100 |
wenzelm |
tuned message;
|
changeset |
files
|
| Mon, 11 Nov 2013 20:50:12 +0100 |
wenzelm |
tuned signature -- removed obsolete Addsimprocs, Delsimprocs;
|
changeset |
files
|
| Mon, 11 Nov 2013 20:00:53 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Mon, 11 Nov 2013 20:51:00 +0100 |
blanchet |
minor doc fix
|
changeset |
files
|
| Mon, 11 Nov 2013 18:37:56 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Mon, 11 Nov 2013 17:44:21 +0100 |
wenzelm |
merged, using src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML and src/HOL/Tools/Sledgehammer/sledgehammer_run.ML from 347c3b0cab44;
|
changeset |
files
|
| Mon, 11 Nov 2013 17:34:44 +0100 |
wenzelm |
removed obsolete RC tags;
|
changeset |
files
|
| Mon, 11 Nov 2013 16:40:07 +0100 |
wenzelm |
Added tag Isabelle2013-1 for changeset 9c1f21365326
|
changeset |
files
|
| Sat, 09 Nov 2013 18:00:36 +0100 |
wenzelm |
tuned;
Isabelle2013-1
|
changeset |
files
|
| Sat, 09 Nov 2013 12:47:32 +0100 |
wenzelm |
more on completion;
|
changeset |
files
|
| Sat, 09 Nov 2013 11:41:32 +0100 |
wenzelm |
adjust modules for Admin/build jars_test;
|
changeset |
files
|
| Sat, 09 Nov 2013 11:24:21 +0100 |
wenzelm |
tuned whitespace;
|
changeset |
files
|