Mon, 22 Mar 2010 09:16:25 +0100 | Christian Urban | some tuning | changeset | files |
Mon, 22 Mar 2010 10:15:46 +0100 | Cezary Kaliszyk | Strong induction for Type Schemes. | changeset | files |
Mon, 22 Mar 2010 09:02:30 +0100 | Cezary Kaliszyk | Fixed missing colon. | changeset | files |
Sun, 21 Mar 2010 22:27:08 +0100 | Christian Urban | tuned paper | changeset | files |