Nominal/ExPS6.thy
Fri, 26 Mar 2010 16:20:39 +0100 Cezary Kaliszyk Removed remaining cheats + some cleaning.
Fri, 26 Mar 2010 10:55:13 +0100 Cezary Kaliszyk Extract PS7 and PS8 from Test. PS7 needs the same fix as Core Haskell.
Tue, 23 Mar 2010 09:34:32 +0100 Cezary Kaliszyk More modification needed for compilation
Tue, 23 Mar 2010 09:05:23 +0100 Cezary Kaliszyk More reorganization.
less more (0) tip