Nominal/Ex/ExCoreHaskell.thy
Tue, 04 May 2010 14:13:18 +0200 Cezary Kaliszyk moved CoreHaskell to NewParser.
Tue, 27 Apr 2010 14:29:59 +0200 Cezary Kaliszyk Function in Core Haskell
Sun, 18 Apr 2010 10:58:29 +0200 Christian Urban equivariance for alpha_raw in CoreHaskell is automatically derived
Sun, 18 Apr 2010 09:26:38 +0200 Christian Urban preliminary parser for perm_simp metod
less more (0) -4 tip