| 2010-03-11 | Cezary Kaliszyk | Do not fail if the finite support proof fails. | file | diff | annotate |
| 2010-03-11 | Christian Urban | support of atoms at the end of Abs.thy | file | diff | annotate |
| 2010-03-11 | Cezary Kaliszyk | Show that the new types are in finite support typeclass. | file | diff | annotate |
| 2010-03-11 | Cezary Kaliszyk | Remove "_raw" from lifted theorems. | file | diff | annotate |
| 2010-03-11 | Cezary Kaliszyk | The cheats described explicitely. | file | diff | annotate |
| 2010-03-11 | Cezary Kaliszyk | With the 4 cheats, all examples fully lift. | file | diff | annotate |
| 2010-03-11 | Cezary Kaliszyk | Lift alpha_bn_constants. | file | diff | annotate |
| 2010-03-11 | Cezary Kaliszyk | Lifting constants. | file | diff | annotate |