| Tue, 21 Apr 2020 15:42:50 +0200 |
replace Celem. with new struct.s in BaseDefinitions/
|
file | diff | annotate |
| Wed, 08 Apr 2020 12:32:51 +0200 |
use new struct "Rule_Set" for renaming identifiers
|
file | diff | annotate |
| Sat, 04 Apr 2020 12:11:32 +0200 |
separate Rule_Set from Rule
|
file | diff | annotate |
| Thu, 28 Feb 2019 18:27:29 +0100 |
funpack: drop thms generated by partial_function
|
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 |
| Tue, 28 Jan 2014 07:04:48 +0100 |
adapted test setup for tests restored in e8d9d194a96f
|
file | diff | annotate |