Nominal/Nominal2_Base_Exec.thy
2012-03-30 Cezary Kaliszyk Clean the proof of Aux
2012-03-26 Cezary Kaliszyk Alternate version of Nominal_Base: Executable version.
less more (0) tip