| Wed, 24 Mar 2010 19:50:42 +0100 | Christian Urban | more on the paper | changeset | files |
| Wed, 24 Mar 2010 18:02:33 +0100 | Cezary Kaliszyk | Further in the strong induction proof. | changeset | files |
| Wed, 24 Mar 2010 16:06:31 +0100 | Cezary Kaliszyk | Solved one of the strong-induction goals. | changeset | files |
| Wed, 24 Mar 2010 14:49:51 +0100 | Cezary Kaliszyk | avoiding for atom. | changeset | files |
| Wed, 24 Mar 2010 13:54:20 +0100 | Cezary Kaliszyk | Started proving strong induction. | changeset | files |
| Wed, 24 Mar 2010 12:36:58 +0100 | Cezary Kaliszyk | stating the strong induction; further. | changeset | files |
| Wed, 24 Mar 2010 12:05:38 +0100 | Cezary Kaliszyk | Working on stating induct. | changeset | files |
| Wed, 24 Mar 2010 12:53:39 +0100 | Christian Urban | some tuning; possible fix for strange paper generation | changeset | files |
| Wed, 24 Mar 2010 12:34:28 +0100 | Christian Urban | more on the paper | changeset | files |
| Wed, 24 Mar 2010 12:04:03 +0100 | Cezary Kaliszyk | merge | changeset | files |
| Wed, 24 Mar 2010 12:03:48 +0100 | Cezary Kaliszyk | Showed support of Core Haskell | changeset | files |
| Wed, 24 Mar 2010 11:13:39 +0100 | Cezary Kaliszyk | Support proof modification for Core Haskell. | changeset | files |
| Wed, 24 Mar 2010 10:55:59 +0100 | Cezary Kaliszyk | Experiments with Core Haskell support. | changeset | files |
| Wed, 24 Mar 2010 10:49:50 +0100 | Cezary Kaliszyk | Export all the cheats needed for Core Haskell. | changeset | files |