Nominal/Rsp.thy
Wed, 12 May 2010 16:11:23 +0200 Cezary Kaliszyk merge
Wed, 12 May 2010 16:11:03 +0200 Cezary Kaliszyk fvbv_rsp include prod_rel.simps
Wed, 12 May 2010 16:08:32 +0200 Cezary Kaliszyk Use raw_induct instead of induct
less more (0) -30 -10 -3 tip