| Wed, 29 May 2019 10:36:16 +0200 |
[-Test_Isac] funpack: switch from Script to partial_function
|
file | diff | annotate |
| Tue, 22 Jan 2019 12:08:32 +0100 |
funpack: Test_Isac ok with string constants in programs and tactics
|
file | diff | annotate |
| Tue, 22 Jan 2019 09:33:11 +0100 |
[-Test_Isac] funpack: in programs and spec.terms replace bdv by ''bdv''
|
file | diff | annotate |
| Wed, 21 Nov 2018 12:32:54 +0100 |
update to new Isabelle conventions: {*...*} to \<open>...\<close>
|
file | diff | annotate |
| Tue, 28 Aug 2018 13:34:22 +0200 |
Isabelle2017->18: adapt to more rigorous session handling
|
file | diff | annotate |
| Fri, 24 Aug 2018 13:05:00 +0200 |
Isabelle2017->18: for Test_Isac.thy adapt new form of imports
|
file | diff | annotate |
| Mon, 26 Mar 2018 09:20:09 +0200 |
Rule: Test_Isac works completely
|
file | diff | annotate |
| Thu, 15 Mar 2018 15:48:52 +0100 |
Celem: tests within imports work, except All_Ctxt
|
file | diff | annotate |
| Sun, 18 Dec 2016 16:27:41 +0100 |
added structure Specify : MODEL_SPECIFY
|
file | diff | annotate |
| Sun, 02 Feb 2014 02:43:04 +0100 |
ad 967c8a1eb6b1 (2): added missing analog for 'insert_errpats' with 'mets' Theory_Data
|
file | diff | annotate |
| Sun, 02 Feb 2014 01:15:13 +0100 |
ad 967c8a1eb6b1 (2b): in tests, add functions accessing Theory_Data in parallel to those accessing 'mets = Unsynchronized.ref'
|
file | diff | annotate |