Nominal/ExLet.thy
2010-04-02 Christian Urban more on the lifting section
less more (0) -10 -1 tip