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 |