| 2010-04-18 | Christian Urban | equivariance for alpha_raw in CoreHaskell is automatically derived | file | diff | annotate |
| 2010-04-18 | Christian Urban | preliminary parser for perm_simp metod | file | diff | annotate |
| 2010-04-14 | Christian Urban | temporary fix for CoreHaskell | file | diff | annotate |
| 2010-04-09 | Christian Urban | changed the eqvt-tac to move only outermost permutations inside; added tracing infrastructure for the eqvt-tac | file | diff | annotate |
| 2010-04-03 | Christian Urban | added README and moved examples into separate directory | file | diff | annotate | base |