Nominal/Tacs.thy
Wed, 12 May 2010 16:08:32 +0200 Cezary Kaliszyk Use raw_induct instead of induct
Tue, 04 May 2010 16:17:46 +0200 Cezary Kaliszyk Minor
Fri, 26 Mar 2010 16:20:39 +0100 Cezary Kaliszyk Removed remaining cheats + some cleaning.
Fri, 26 Mar 2010 10:07:26 +0100 Cezary Kaliszyk Removed another cheat and cleaned the code a bit.
less more (0) tip