| Thu, 27 May 2010 18:40:10 +0200 | Christian Urban | merged | file | diff | annotate |
| Mon, 24 May 2010 20:50:15 +0100 | Christian Urban | tuned | 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 |
| 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 |
| 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 |