| 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 13:26:21 +0200 | prepare removing Unsynchronized.ref, final version | 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 |