Wed, 20 Oct 2021 18:13:17 +0200 |
wenzelm |
discontinued obsolete "val extend = I" for data slots;
|
file |
diff |
annotate
|
Mon, 12 Oct 2020 07:25:38 +0000 |
haftmann |
consolidated names and operations
|
file |
diff |
annotate
|
Fri, 14 Aug 2020 14:40:24 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Tue, 14 Jan 2020 16:03:31 +0100 |
wenzelm |
more antiquotations;
|
file |
diff |
annotate
|
Sat, 05 Jan 2019 17:33:20 +0100 |
wenzelm |
eliminated spurious \<^print>;
|
file |
diff |
annotate
|
Fri, 04 Jan 2019 23:22:53 +0100 |
wenzelm |
isabelle update -u control_cartouches;
|
file |
diff |
annotate
|
Tue, 04 Sep 2018 22:33:19 +0200 |
wenzelm |
proper binding position for the resulting definition command, not this source file;
|
file |
diff |
annotate
|
Sat, 28 Jul 2018 07:28:18 +0200 |
Lars Hupel |
datatype_record produces simp theorems; contributed in part by Yu Zhang
|
file |
diff |
annotate
|
Wed, 14 Feb 2018 11:51:03 +0100 |
Lars Hupel |
records based on datatypes/BNF infrastructure
|
file |
diff |
annotate
|