Nominal/Ex/Lambda.thy
2010-11-10 Christian Urban adapted to changes by Florian on the quotient package and removed local fix for function package
2010-09-29 Christian Urban simplified exhaust proofs
2010-09-29 Christian Urban test with induct_schema for simpler strong_ind proofs
less more (0) -30 -10 -3 tip