README
2010-11-14 Christian Urban merged Nominal-General directory into Nominal; renamed Abs.thy to Nominal2_Abs.thy
2010-10-13 Christian Urban more on the pearl paper
2010-08-29 Christian Urban tuned
less more (0) -3 tip