| Mon, 01 Feb 2016 13:46:28 +0000 | Christian Urban |
more lemmas for star | changeset | files |
| Sat, 30 Jan 2016 13:12:36 +0000 | Christian Urban |
proved some lemmas about star and mkeps (injval etc not yet done) | changeset | files |
| Thu, 21 Jan 2016 12:47:20 +0000 | Christian Urban |
added theory for star | changeset | files |
| Thu, 14 Jan 2016 17:19:40 +0000 | Christian Urban |
updated | changeset | files |
| Wed, 06 Jan 2016 12:24:29 +0000 | Christian Urban |
added type inference paper and updated Re.thy | changeset | files |
| Sat, 19 Dec 2015 23:51:31 +0000 | Christian Urban |
added a proof about Values and PMatch | changeset | files |
| Fri, 18 Dec 2015 14:25:22 +0000 | Christian Urban |
updated | changeset | files |