Sun, 01 Aug 2021 10:20:34 +0000 |
haftmann |
organize syntax for word operations in bundles
|
file |
diff |
annotate
|
Thu, 29 Oct 2020 09:59:40 +0000 |
haftmann |
removed dependency
|
file |
diff |
annotate
|
Sat, 17 Oct 2020 18:56:36 +0200 |
haftmann |
factored out theory Bits_Int
|
file |
diff |
annotate
|
Sat, 05 Jan 2019 17:24:33 +0100 |
wenzelm |
isabelle update -u control_cartouches;
|
file |
diff |
annotate
|
Fri, 03 Nov 2017 13:43:31 +0100 |
wenzelm |
less global theories -- avoid confusion about special cases;
|
file |
diff |
annotate
|
Fri, 18 Aug 2017 20:47:47 +0200 |
wenzelm |
session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
|
file |
diff |
annotate
|
Thu, 26 May 2016 17:51:22 +0200 |
wenzelm |
isabelle update_cartouches -c -t;
|
file |
diff |
annotate
|
Wed, 13 Apr 2016 18:01:05 +0200 |
wenzelm |
eliminated "xname" and variants;
|
file |
diff |
annotate
|
Wed, 09 Sep 2015 14:47:41 +0200 |
wenzelm |
eliminated \<Colon> from syntax of constraints;
|
file |
diff |
annotate
|
Mon, 06 Apr 2015 17:28:07 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Mon, 01 Sep 2014 18:42:02 +0200 |
blanchet |
ported to use new-style datatypes
|
file |
diff |
annotate
|
Wed, 30 Apr 2014 15:43:44 +0200 |
berghofe |
Discontinued old spark_open; spark_open_siv is now spark_open
|
file |
diff |
annotate
|
Fri, 29 Jun 2012 10:08:41 +0200 |
berghofe |
Documented "incomplete" option of spark_end
|
file |
diff |
annotate
|
Tue, 28 Feb 2012 11:10:09 +0100 |
berghofe |
Added infrastructure for mapping SPARK field / constructor names
|
file |
diff |
annotate
|
Thu, 22 Sep 2011 16:50:23 +0200 |
berghofe |
Added documentation for HOL-SPARK
|
file |
diff |
annotate
|