Nominal/Ex/SFT/Lambda.thy
2011-06-24 Cezary Kaliszyk Make examples work with non-precompiled image
2011-06-24 Cezary Kaliszyk More usual names for substitution properties
2011-06-24 Cezary Kaliszyk Second Fixed Point Theorem
less more (0) tip