Sun, 18 Apr 2010 10:58:29 +0200 equivariance for alpha_raw in CoreHaskell is automatically derived
Christian Urban <urbanc@in.tum.de> [Sun, 18 Apr 2010 10:58:29 +0200] rev 1868
equivariance for alpha_raw in CoreHaskell is automatically derived
Sun, 18 Apr 2010 09:26:38 +0200 preliminary parser for perm_simp metod
Christian Urban <urbanc@in.tum.de> [Sun, 18 Apr 2010 09:26:38 +0200] rev 1867
preliminary parser for perm_simp metod
(0) -1000 -300 -100 -30 -10 -2 +2 +10 +30 +100 +300 +1000 tip