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 |
Mon, 27 Jan 2014 11:09:57 +0100 |
ad 967c8a1eb6b1 (2b): add functions accessing Theory_Data in parallel to those accessing "ptyps = Unsynchronized.ref"
|
file | diff | annotate |
Sun, 26 Jan 2014 01:37:36 +0100 |
ad 967c8a1eb6b1 (2b): for 'ptyps' add functions accessing Theory_Data in parallel to old ones for 'Unsynchronized.ref' in 'test' folder.
|
file | diff | annotate |
Wed, 22 Jan 2014 23:31:59 +0100 |
ad 967c8a1eb6b1: preparations for step 6 (i.e. switch ptyps to Theory_Data)
|
file | diff | annotate |
Wed, 22 Jan 2014 20:23:31 +0100 |
ad 967c8a1eb6b1 (3): check differences between Theory_Data and 'Unsynchronized.ref ptyps'
|
file | diff | annotate |
Tue, 21 Jan 2014 00:27:44 +0100 |
ad 967c8a1eb6b1 (2): for 'ptyps' add functions accessing Theory_Data in parallel to the old ones for 'Unsynchronized.ref'.
|
file | diff | annotate |
Mon, 20 Jan 2014 16:15:34 +0100 |
ad 967c8a1eb6b1 (1b): restrict access...
|
file | diff | annotate |
Tue, 19 Nov 2013 22:18:14 +0000 |
switched from "castab = Unsynchronized.ref" to Theory_Data
|
file | diff | annotate |
Tue, 19 Nov 2013 21:37:18 +0000 |
check differences between Theory_Data and "castab = Unsynchronized.ref"
|
file | diff | annotate |
Tue, 19 Nov 2013 20:08:37 +0000 |
add functions accessing Theory_Data in parallel to those accessing "castab = Unsynchronized.ref"
|
file | diff | annotate |
Tue, 19 Nov 2013 16:42:06 +0100 |
begin (2) for castab: add functions accessing "Theory_Data"
|
file | diff | annotate |
Fri, 25 Oct 2013 23:23:41 +0100 |
string_of_calc renamed to check_kestore_calc
|
file | diff | annotate |
Fri, 25 Oct 2013 20:58:28 +0100 |
removed all code concerned with "calclist' = Unsynchronized.ref"
|
file | diff | annotate |
Thu, 24 Oct 2013 15:00:44 +0200 |
removed all code concerned with "ruleset' = Unsynchronized.ref"
|
file | diff | annotate |
Thu, 24 Oct 2013 14:08:32 +0200 |
notes on "type cal" and "type calc".
|
file | diff | annotate |
Thu, 24 Oct 2013 00:02:29 +0100 |
switched from "calclist' = Unsynchronized.ref" to Theory_Data
|
file | diff | annotate |
Mon, 21 Oct 2013 15:57:27 +0100 |
check differences between Theory_Data and "calclist' = Unsynchronized.ref"
|
file | diff | annotate |
Wed, 16 Oct 2013 23:59:43 +0100 |
add functions accessing Theory_Data in parallel to those accessing "calclist' = Unsynchronized.ref
|
file | diff | annotate |
Mon, 30 Sep 2013 16:22:07 +0200 |
switched from "ruleset' = Unsynchronized.ref" to Theory_Data
|
file | diff | annotate |
Mon, 30 Sep 2013 11:50:13 +0200 |
last difference between Theory_Data and "ruleset' = Unsynchronized.ref" removed
|
file | diff | annotate |
Sun, 29 Sep 2013 18:27:37 +0200 |
collected updates since changeset 9690a8d5f1c
|
file | diff | annotate |
Sun, 22 Sep 2013 18:41:15 +0200 |
check differences between Theory_Data and "ruleset' = Unsynchronized.ref"
|
file | diff | annotate |
Sun, 22 Sep 2013 18:17:25 +0200 |
narrow behaviour of Theory_Data and "ruleset' = Unsynchronized.ref"
|
file | diff | annotate |
Sun, 22 Sep 2013 18:09:05 +0200 |
add functions accessing Theory_Data in parallel to those accessing "ruleset' = Unsynchronized.ref"
|
file | diff | annotate |
Sun, 22 Sep 2013 17:28:55 +0200 |
shift existing access functions for Unsynchronized.ref to bottom of KEStore.thy
|
file | diff | annotate |
Fri, 20 Sep 2013 15:30:09 +0200 |
tuned
|
file | diff | annotate |