nominal2: File revisions

Nominal/Ex/LetRec2.thy

Tue, 19 Feb 2013 06:58:14 +0000	Christian Urban	updated for 2013 release Nominal2-Isabelle2013	file \| diff \| annotate
Sat, 17 Dec 2011 17:08:47 +0000	Christian Urban	cleaned examples for stable branch Nominal2-Isabelle2011-1	file \| diff \| annotate
Thu, 15 Dec 2011 16:20:42 +0000	Christian Urban	updated to lates changes in the datatype package	file \| diff \| annotate
Wed, 21 Sep 2011 10:23:06 +0200	Christian Urban	deleted PNil	file \| diff \| annotate
Tue, 05 Jul 2011 18:42:34 +0200	Christian Urban	changed bind to binds in specifications; bind will cause trouble with Monad_Syntax	file \| diff \| annotate
Sat, 13 Nov 2010 10:25:03 +0000	Christian Urban	respectfulness for permute_bn functions	file \| diff \| annotate
Sun, 29 Aug 2010 13:36:03 +0800	Christian Urban	renamed NewParser to Nominal2	file \| diff \| annotate
Fri, 27 Aug 2010 02:03:52 +0800	Christian Urban	corrected bug with fv-function generation (that was the problem with recursive binders)	file \| diff \| annotate
Thu, 26 Aug 2010 02:08:00 +0800	Christian Urban	cleaned up (almost completely) the examples	file \| diff \| annotate \| base

nominal2