| 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 |
| Thu, 11 Mar 2010 11:25:56 +0100 | Cezary Kaliszyk | Remove tracing from fv/alpha. | changeset | files |
| Thu, 11 Mar 2010 11:25:18 +0100 | Cezary Kaliszyk | Equivp working only on the standard alpha-equivalences. | changeset | files |
| Thu, 11 Mar 2010 11:20:50 +0100 | Cezary Kaliszyk | explicit cheat_fv_eqvt | changeset | files |
| Thu, 11 Mar 2010 11:15:14 +0100 | Cezary Kaliszyk | extract build_eqvts_tac. | changeset | files |
| Thu, 11 Mar 2010 10:39:29 +0100 | Cezary Kaliszyk | build_eqvts no longer requires permutations. | changeset | files |