Mon, 15 Feb 2016 21:48:57 +0100 | Christian Urban |
added some slides | file | diff | annotate |
Sat, 13 Feb 2016 02:00:09 +0000 | Christian Urban |
updated | file | diff | annotate |
Wed, 10 Feb 2016 17:38:29 +0000 | Christian Urban |
fixed inj function | file | diff | annotate |
Mon, 08 Feb 2016 15:51:23 +0000 | Christian Urban |
strengthened PMatch to get determ | file | diff | annotate |
Mon, 08 Feb 2016 11:54:48 +0000 | Christian Urban |
updated | file | diff | annotate |
Mon, 08 Feb 2016 09:56:32 +0000 | Christian Urban |
updated | file | diff | annotate |
Sun, 07 Feb 2016 23:44:34 +0000 | Christian Urban |
updated | file | diff | annotate |
Fri, 05 Feb 2016 10:16:10 +0000 | Christian Urban |
started a paper and moved cruft to Attic | file | diff | annotate |