| Fri, 27 Nov 2020 23:47:06 +0100 |
wenzelm |
more flexible syntax for theory load commands via Isabelle/Scala;
|
file |
diff |
annotate
|
| Thu, 29 Oct 2020 10:03:03 +0000 |
haftmann |
moved most material from session HOL-Word to Word_Lib in the AFP
|
file |
diff |
annotate
|
| Tue, 16 Apr 2019 19:50:09 +0000 |
haftmann |
integrated Bit_Comparison into Word corpus
|
file |
diff |
annotate
|
| Sun, 06 Jan 2019 15:04:34 +0100 |
wenzelm |
isabelle update -u path_cartouches;
|
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
|
| Mon, 11 Jul 2016 09:57:20 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 26 May 2016 17:51:22 +0200 |
wenzelm |
isabelle update_cartouches -c -t;
|
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
|
| Thu, 27 Feb 2014 17:39:20 +0100 |
wenzelm |
modernized theory setup;
|
file |
diff |
annotate
|
| Wed, 13 Nov 2013 19:12:15 +0100 |
haftmann |
separated comparision on bit operations into separate theory
|
file |
diff |
annotate
|
| Thu, 23 Aug 2012 15:43:28 +0200 |
wenzelm |
added specific 'spark_open_vcg' and 'spark_open_siv' with formal management of corresponding source files;
|
file |
diff |
annotate
|
| Wed, 22 Aug 2012 22:55:41 +0200 |
wenzelm |
prefer ML_file over old uses;
|
file |
diff |
annotate
|
| Thu, 15 Mar 2012 22:08:53 +0100 |
wenzelm |
declare command keywords via theory header, including strict checking outside Pure;
|
file |
diff |
annotate
|
| Tue, 19 Apr 2011 14:17:41 +0200 |
berghofe |
- renamed enum type class to spark_enum, to avoid confusion with
|
file |
diff |
annotate
|
| Thu, 27 Jan 2011 16:31:03 +0100 |
berghofe |
Tuned definition of sdiv.
|
file |
diff |
annotate
|
| Wed, 26 Jan 2011 20:51:09 +0100 |
berghofe |
Replaced smod by standard mod operator to reflect actual behaviour
|
file |
diff |
annotate
|
| Sat, 15 Jan 2011 12:35:29 +0100 |
berghofe |
Added new SPARK verification environment.
|
file |
diff |
annotate
|