nominal2: File revisions

README

Thu, 29 Nov 2012 21:59:38 +0000	Christian Urban	fixed problem with not fresh enough permutation name in nominal_primrec	file \| diff \| annotate
Sat, 17 Dec 2011 17:03:01 +0000	Christian Urban	cleaned all papers from the stable branch Nominal2-Isabelle2011-1	file \| diff \| annotate
Sun, 14 Nov 2010 16:34:47 +0000	Christian Urban	merged Nominal-General directory into Nominal; renamed Abs.thy to Nominal2_Abs.thy	file \| diff \| annotate
Wed, 13 Oct 2010 22:55:58 +0100	Christian Urban	more on the pearl paper	file \| diff \| annotate
Sun, 29 Aug 2010 12:17:25 +0800	Christian Urban	tuned	file \| diff \| annotate
Sun, 29 Aug 2010 12:14:40 +0800	Christian Urban	updated todos	file \| diff \| annotate
Sun, 25 Jul 2010 22:42:21 +0200	Christian Urban	added paper by james; some minor cleaning	file \| diff \| annotate
Sun, 04 Apr 2010 21:39:28 +0200	Christian Urban	separated general nominal theory into separate folder	file \| diff \| annotate
Sat, 03 Apr 2010 22:31:11 +0200	Christian Urban	added README and moved examples into separate directory	file \| diff \| annotate

nominal2