| Thu, 28 Apr 2016 11:13:09 +0100 | Christian Urban |
updated | changeset | files |
| Wed, 13 Apr 2016 12:26:16 +0100 | Christian Urban |
some small typos | changeset | files |
| Sat, 09 Apr 2016 09:51:00 +0100 | Christian Urban |
added test cases from the haskell repository | changeset | files |
| Tue, 05 Apr 2016 14:00:55 +0100 | Christian Urban |
corrected typo and corrected proofs in Sulzmann.thy | changeset | files |