| Fri, 03 Sep 2010 22:22:43 +0800 | Christian Urban | made the fv-definition aggree more with alpha (needed in the support proofs) | changeset | files |
| Fri, 03 Sep 2010 20:53:09 +0800 | Christian Urban | removed lemma finite_set (already in simpset) | changeset | files |
| Fri, 03 Sep 2010 20:48:45 +0800 | Christian Urban | added supp_set lemma | changeset | files |
| Thu, 02 Sep 2010 18:10:06 +0800 | Christian Urban | some experiments with support | changeset | files |
| Thu, 02 Sep 2010 01:16:26 +0800 | Christian Urban | added eqvt-attribute for permute_abs lemmas | changeset | files |
| Tue, 31 Aug 2010 21:03:08 +0800 | Christian Urban | slides of my talk | changeset | files |
| Mon, 30 Aug 2010 15:59:50 +0900 | Cezary Kaliszyk | merge | changeset | files |
| Mon, 30 Aug 2010 15:59:16 +0900 | Cezary Kaliszyk | update qpaper to new isabelle | changeset | files |
| Mon, 30 Aug 2010 15:55:08 +0900 | Cezary Kaliszyk | No need to unfold mem_def with rsp/prs (requires new isabelle). | changeset | files |
| Mon, 30 Aug 2010 11:02:13 +0900 | Cezary Kaliszyk | Anonymize, change Quotient to Quot and fix indentation | changeset | files |
| Sun, 29 Aug 2010 13:36:03 +0800 | Christian Urban | renamed NewParser to Nominal2 | changeset | files |
| Sun, 29 Aug 2010 12:17:25 +0800 | Christian Urban | tuned | changeset | files |
| Sun, 29 Aug 2010 12:14:40 +0800 | Christian Urban | updated todos | changeset | files |
| Sun, 29 Aug 2010 01:45:07 +0800 | Christian Urban | added fs-instance proofs | changeset | files |