nominal2: File revisions

Nominal/Ex/Ex1.thy

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
Thu, 23 Dec 2010 00:22:41 +0000	Christian Urban	moved generic functions into nominal_library	file \| diff \| annotate
Thu, 16 Dec 2010 08:42:48 +0000	Christian Urban	simple cases for strong inducts done; infrastructure for the difficult ones is there	file \| diff \| annotate
Mon, 06 Dec 2010 14:24:17 +0000	Christian Urban	ordered raw_bn_info to agree with the order of the raw_bn_functions; started alpha_bn proof	file \| diff \| annotate
Sat, 13 Nov 2010 10:25:03 +0000	Christian Urban	respectfulness for permute_bn functions	file \| diff \| annotate
Fri, 10 Sep 2010 09:17:40 +0800	Christian Urban	supp-proofs work except for CoreHaskell and Modules (induct is probably not finding the correct instance)	file \| diff \| annotate
Sun, 29 Aug 2010 13:36:03 +0800	Christian Urban	renamed NewParser to Nominal2	file \| diff \| annotate \| base
Sat, 03 Apr 2010 22:31:11 +0200	Christian Urban	added README and moved examples into separate directory	file \| diff \| annotate \| base

nominal2