| 2010-05-20 | Christian Urban | new fv/fv_bn function (supp breaks now); exported raw perms and raw funs into separate ML-files | file | diff | annotate |
| 2010-06-20 | Christian Urban | fixed example | file | diff | annotate |
| 2010-06-07 | Christian Urban | improved abstract, some tuning | file | diff | annotate |
| 2010-05-27 | Christian Urban | fixed bug where perm_simp 'forgets' how to prove equivariance for the empty set | file | diff | annotate |
| 2010-05-17 | Christian Urban | minor tuning | file | diff | annotate |
| 2010-05-12 | Christian Urban | fixed the examples for the new eqvt-procedure....temporarily disabled Manual/Term4.thy | file | diff | annotate |
| 2010-05-12 | Christian Urban | moved the data-transformation into the parser | file | diff | annotate |