| Tue, 27 Apr 2010 14:29:59 +0200 | Cezary Kaliszyk | Function in Core Haskell | file | diff | annotate |
| Sun, 18 Apr 2010 10:58:29 +0200 | Christian Urban | equivariance for alpha_raw in CoreHaskell is automatically derived | file | diff | annotate |
| Sun, 18 Apr 2010 09:26:38 +0200 | Christian Urban | preliminary parser for perm_simp metod | file | diff | annotate |
| Wed, 14 Apr 2010 22:41:22 +0200 | Christian Urban | temporary fix for CoreHaskell | file | diff | annotate |
| Fri, 09 Apr 2010 21:51:01 +0200 | Christian Urban | changed the eqvt-tac to move only outermost permutations inside; added tracing infrastructure for the eqvt-tac | file | diff | annotate |
| Sat, 03 Apr 2010 22:31:11 +0200 | Christian Urban | added README and moved examples into separate directory | file | diff | annotate | base |