| Mon, 30 Sep 2013 16:42:52 +0200 | survey on transition from "ruleset' = Unsynchronized.ref" to Theory_Data | file | diff | annotate |
| Tue, 17 Sep 2013 11:22:53 +0200 | started investigation of Isabelle's mechanisms for parallel execution | file | diff | annotate |