| Fri, 12 Mar 2010 17:42:31 +0100 | Cezary Kaliszyk | Even with pattern simplified to a single clause, the supp equation doesn't seem true. | changeset | files |
| Fri, 12 Mar 2010 12:42:35 +0100 | Cezary Kaliszyk | Still don't know how to prove supp=fv for simplest Let... | changeset | files |
| 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 |