| Tue, 09 Sep 2014 05:12:01 +0100 | Christian Urban |
started a few arguments for the ALT case | file | diff | annotate |
| Mon, 08 Sep 2014 21:13:36 +0100 | Christian Urban |
cleaned up the theory | file | diff | annotate |
| Mon, 08 Sep 2014 16:36:13 +0100 | Christian Urban |
getting back the original version by Sulzmann | file | diff | annotate |
| Mon, 08 Sep 2014 14:06:15 +0100 | Christian Urban |
initial version of the theory | file | diff | annotate |