| Thu, 11 Mar 2010 20:49:31 +0100 | Cezary Kaliszyk | Do not fail if the finite support proof fails. | changeset | files |
| Thu, 11 Mar 2010 19:43:50 +0100 | Christian Urban | generalised the supp for atoms to all concrete atoms (not just names) | changeset | files |
| Thu, 11 Mar 2010 19:41:11 +0100 | Christian Urban | support of atoms at the end of Abs.thy | changeset | files |
| Thu, 11 Mar 2010 19:24:07 +0100 | Cezary Kaliszyk | Trying to prove atom_image_fresh_swap | changeset | files |
| Thu, 11 Mar 2010 17:49:07 +0100 | Cezary Kaliszyk | Finite_support proof no longer needed in LF. | changeset | files |
| 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 |