Wed, 10 Jul 2013 13:28:24 +0100 | Christian Urban |
added coquand siles paper | changeset | files |
Fri, 05 Jul 2013 17:19:17 +0100 | Christian Urban |
polished more and updated to new isabelle | changeset | files |
Fri, 05 Jul 2013 12:07:48 +0100 | Christian Urban |
deleted utm-work from the repository | changeset | files |