| Thu, 11 Mar 2010 17:47:29 +0100 | Cezary Kaliszyk | Show that the new types are in finite support typeclass. | changeset | files |
| Thu, 11 Mar 2010 16:50:44 +0100 | Cezary Kaliszyk | mk_supports_eq and supports_tac. | changeset | files |
| Thu, 11 Mar 2010 16:16:15 +0100 | Cezary Kaliszyk | merge | changeset | files |
| Thu, 11 Mar 2010 16:15:29 +0100 | Cezary Kaliszyk | Fixes for term1 for new alpha. Still not able to show support equations. | changeset | files |
| Thu, 11 Mar 2010 16:12:15 +0100 | Christian Urban | merged | changeset | files |
| Thu, 11 Mar 2010 15:10:07 +0100 | Christian Urban | finally the proof that new and old alpha agree | changeset | files |
| Thu, 11 Mar 2010 15:11:57 +0100 | Cezary Kaliszyk | Remove "_raw" from lifted theorems. | changeset | files |
| Thu, 11 Mar 2010 14:09:54 +0100 | Cezary Kaliszyk | looking at trm5_equivp | changeset | files |
| Thu, 11 Mar 2010 14:05:36 +0100 | Cezary Kaliszyk | The cheats described explicitely. | changeset | files |
| Thu, 11 Mar 2010 13:44:54 +0100 | Cezary Kaliszyk | The alpha5_eqvt tactic works if I manage to build the goal. | changeset | files |
| Thu, 11 Mar 2010 13:34:45 +0100 | Cezary Kaliszyk | With the 4 cheats, all examples fully lift. | changeset | files |
| Thu, 11 Mar 2010 12:30:53 +0100 | Cezary Kaliszyk | Lift alpha_bn_constants. | changeset | files |
| Thu, 11 Mar 2010 12:26:24 +0100 | Cezary Kaliszyk | Lifting constants. | changeset | files |
| Thu, 11 Mar 2010 11:41:27 +0100 | Cezary Kaliszyk | Proper error message. | changeset | files |
| Thu, 11 Mar 2010 11:32:37 +0100 | Cezary Kaliszyk | Lifting constants works for all examples. | changeset | files |