| Fri, 21 May 2010 10:42:53 +0200 | Cezary Kaliszyk | Renamings | file | diff | annotate |
| Mon, 17 May 2010 18:13:39 +0100 | Christian Urban | updated to new Isabelle (More_Conv -> Conv) | file | diff | annotate |
| Thu, 13 May 2010 16:09:34 +0100 | Christian Urban | properly declared outer keyword | file | diff | annotate |
| Sun, 09 May 2010 11:37:19 +0100 | Christian Urban | added eqvt-lemma for split; changed semantics of perm_simp: excluded stands for constants about which no complaint is written out...eqvt_apply is now always applied | file | diff | annotate |
| Thu, 06 May 2010 14:09:21 +0200 | Cezary Kaliszyk | Fixes for new isabelle | file | diff | annotate |
| Wed, 05 May 2010 10:24:54 +0100 | Christian Urban | solved the problem with equivariance by first eta-normalising the goal | file | diff | annotate |
| Sun, 25 Apr 2010 09:13:16 +0200 | Christian Urban | tuned and cleaned | file | diff | annotate |