| Thu, 27 May 2010 18:40:10 +0200 | Christian Urban | merged | file | diff | annotate |
| Thu, 27 May 2010 18:37:52 +0200 | Christian Urban | intermediate state | file | diff | annotate |
| Tue, 25 May 2010 00:24:41 +0100 | Christian Urban | added slides | file | diff | annotate |
| Mon, 24 May 2010 20:02:37 +0100 | Christian Urban | alpha works now | file | diff | annotate |
| Sun, 23 May 2010 02:15:24 +0100 | Christian Urban | started to work on alpha | file | diff | annotate |
| Sat, 22 May 2010 13:51:47 +0100 | Christian Urban | properly exported bn_descr | file | diff | annotate |
| Fri, 21 May 2010 11:40:18 +0100 | Christian Urban | hving a working fv-definition without the export | file | diff | annotate |
| Fri, 21 May 2010 05:58:23 +0100 | Christian Urban | tuned | file | diff | annotate |
| Thu, 20 May 2010 21:23:53 +0100 | Christian Urban | new fv/fv_bn function (supp breaks now); exported raw perms and raw funs into separate ML-files | file | diff | annotate |
| Sun, 20 Jun 2010 02:37:58 +0100 | Christian Urban | fixed example | file | diff | annotate |
| Mon, 07 Jun 2010 11:33:00 +0200 | Christian Urban | improved abstract, some tuning | file | diff | annotate |
| Thu, 27 May 2010 18:30:26 +0200 | Christian Urban | fixed bug where perm_simp 'forgets' how to prove equivariance for the empty set | file | diff | annotate |
| Mon, 17 May 2010 16:25:45 +0100 | Christian Urban | minor tuning | file | diff | annotate |
| Wed, 12 May 2010 16:59:53 +0100 | Christian Urban | fixed the examples for the new eqvt-procedure....temporarily disabled Manual/Term4.thy | file | diff | annotate |
| Wed, 12 May 2010 16:33:25 +0100 | Christian Urban | moved the data-transformation into the parser | file | diff | annotate |