| 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 |
| Fri, 18 Oct 2013 14:36:33 +0200 | some clean-ups | 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 |