README
2014-05-19 Christian Urban changed nominal_primrec into the more appropriate nominal_function
2013-03-11 Christian Urban tuned
2013-02-19 Christian Urban updated for 2013 release Nominal2-Isabelle2013
2013-02-19 Christian Urban updated README
2013-02-19 Christian Urban tuned
2012-11-29 Christian Urban fixed problem with not fresh enough permutation name in nominal_primrec
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