Sat, 12 Jun 2021 18:22:07 +0200 |
use more antiquotations;
|
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 |
Wed, 21 Nov 2018 12:32:54 +0100 |
update to new Isabelle conventions: {*...*} to \<open>...\<close>
|
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 |
Mon, 27 Jan 2014 21:49:27 +0100 |
cleanup, naming: 'KEStore_Elems' in Tests now 'Test_KEStore_Elems', 'store_pbts' now 'add_pbts'
|
file | diff | annotate |
Thu, 24 Oct 2013 17:24:47 +0200 |
removed "rulelist'" also from ~~/test/Tools/isac/*
|
file | diff | annotate |
Fri, 18 Oct 2013 14:36:33 +0200 |
some clean-ups
|
file | diff | annotate |
Sun, 29 Sep 2013 18:27:37 +0200 |
collected updates since changeset 9690a8d5f1c
|
file | diff | annotate |
Sun, 22 Sep 2013 18:17:25 +0200 |
narrow behaviour of Theory_Data and "ruleset' = Unsynchronized.ref"
|
file | diff | annotate |
Thu, 19 Sep 2013 11:16:25 +0200 |
prepare removing Unsynchronized.ref, simplified version
|
file | diff | annotate |
Sat, 05 Jan 2013 11:25:08 +0100 |
Theory_Data principles for replacing Unsynchronized.ref
|
file | diff | annotate |
Fri, 14 Dec 2012 10:21:34 +0100 |
accumulate values in Isac.thy, further trials
|
file | diff | annotate |
Sun, 09 Dec 2012 11:24:27 +0100 |
plan removing Unsynchronized.ref
|
file | diff | annotate |