| Wed, 05 May 2010 10:24:54 +0100 | Christian Urban | solved the problem with equivariance by first eta-normalising the goal | file | diff | annotate |
| Tue, 04 May 2010 14:13:18 +0200 | Cezary Kaliszyk | moved CoreHaskell to NewParser. | file | diff | annotate |
| 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 |