Mon, 11 Jan 2016 21:21:02 +0100 |
wenzelm |
eliminated old defs;
|
file |
diff |
annotate
|
Mon, 28 Dec 2015 17:43:30 +0100 |
wenzelm |
prefer symbols for "Union", "Inter";
|
file |
diff |
annotate
|
Sun, 27 Dec 2015 22:07:17 +0100 |
wenzelm |
discontinued ASCII replacement syntax <*>;
|
file |
diff |
annotate
|
Thu, 05 Nov 2015 10:39:49 +0100 |
wenzelm |
isabelle update_cartouches -c -t;
|
file |
diff |
annotate
|
Wed, 17 Jun 2015 11:03:05 +0200 |
wenzelm |
isabelle update_cartouches;
|
file |
diff |
annotate
|
Sun, 02 Nov 2014 17:20:45 +0100 |
wenzelm |
modernized header;
|
file |
diff |
annotate
|
Fri, 19 Sep 2014 13:27:04 +0200 |
blanchet |
keep obsolete interpretations in Main, to avoid merge trouble
|
file |
diff |
annotate
|
Thu, 18 Sep 2014 16:47:40 +0200 |
blanchet |
moved old 'size' generator together with 'old_datatype'
|
file |
diff |
annotate
|
Thu, 18 Sep 2014 16:47:40 +0200 |
blanchet |
moved datatype realizer to 'old_datatype' and colleagues
|
file |
diff |
annotate
|
Thu, 18 Sep 2014 16:47:40 +0200 |
blanchet |
moved 'old_datatype' out of 'Main' (but put it in 'HOL-Proofs' because of the inductive realizer)
|
file |
diff |
annotate
| base
|