nominal2: File revisions

Quot/Examples/Terms.thy

Thu, 11 Feb 2010 10:06:02 +0100	Cezary Kaliszyk	Main renaming + fixes for new Isabelle in IntEx2.	file \| diff \| annotate
Wed, 27 Jan 2010 07:45:01 +0100	Christian Urban	added another example with indirect recursion over lists	file \| diff \| annotate
Tue, 26 Jan 2010 20:07:50 +0100	Christian Urban	added an LamEx example together with the new nominal infrastructure	file \| diff \| annotate
Sat, 23 Jan 2010 17:25:18 +0100	Cezary Kaliszyk	The alpha equivalence relations for structures in 'Terms'	file \| diff \| annotate
Sun, 17 Jan 2010 02:24:15 +0100	Christian Urban	added permutation functions for the raw calculi	file \| diff \| annotate
Fri, 15 Jan 2010 15:56:06 +0100	Christian Urban	added free_variable function (do not know about the algorithm yet)	file \| diff \| annotate
Thu, 14 Jan 2010 12:23:59 +0100	Christian Urban	added bound-variable functions to terms	file \| diff \| annotate
Thu, 14 Jan 2010 12:14:35 +0100	Christian Urban	added 3 calculi with interesting binding structure	file \| diff \| annotate

nominal2