| Sun, 17 Feb 2019 22:15:06 +0000 | Christian Urban | updated | file | diff | annotate |
| Sat, 08 Oct 2016 12:16:17 +0100 | Christian Urban |
updated | file | diff | annotate |
| Thu, 22 Sep 2016 00:40:03 +0100 | Christian Urban |
updated | file | diff | annotate |
| Thu, 14 Jan 2016 17:19:40 +0000 | Christian Urban |
updated | file | diff | annotate |
| Wed, 06 Jan 2016 12:24:29 +0000 | Christian Urban |
added type inference paper and updated Re.thy | file | diff | annotate |
| Sat, 19 Dec 2015 23:51:31 +0000 | Christian Urban |
added a proof about Values and PMatch | file | diff | annotate |