Nominal/Nominal2_Base.thy
2010-12-31 Christian Urban added small example for strong inductions; functions still need a sorry
2010-12-19 Christian Urban a stronger statement for at_set_avoiding
less more (0) -10 -2 tip