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 |