Nominal/Abs_res.thy
2010-03-13 Christian Urban started supp-fv proofs (is going to work)
less more (0) tip