Nominal/Tacs.thy
2010-05-12 Cezary Kaliszyk Use raw_induct instead of induct
2010-05-04 Cezary Kaliszyk Minor
2010-03-26 Cezary Kaliszyk Removed remaining cheats + some cleaning.
2010-03-26 Cezary Kaliszyk Removed another cheat and cleaned the code a bit.
less more (0) tip