| 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 |
| Mon, 30 Sep 2013 11:50:13 +0200 | last difference between Theory_Data and "ruleset' = Unsynchronized.ref" removed | file | diff | annotate |