Nominal/Abs.thy
2010-06-07 Christian Urban work on transitivity proof
2010-05-27 Christian Urban intermediate state
less more (0) -30 -10 -2 tip