Nominal/Ex/SingleLet.thy
2010-05-31 Christian Urban all raw definitions are defined using function
less more (0) -10 -1 tip