Nominal/Atoms.thy
2010-12-07 Christian Urban updated to changes in Isabelle
2010-11-14 Christian Urban merged Nominal-General directory into Nominal; renamed Abs.thy to Nominal2_Abs.thy
2010-04-03 Christian Urban merged pearl paper with this repository; started litrature subdirectory
less more (0) tip