README
2011-12-17 Christian Urban cleaned all papers from the stable branch Nominal2-Isabelle2011-1
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
2010-08-29 Christian Urban updated todos
2010-07-25 Christian Urban added paper by james; some minor cleaning
2010-04-04 Christian Urban separated general nominal theory into separate folder
2010-04-03 Christian Urban added README and moved examples into separate directory
less more (0) tip