nominal2: File revisions

Nominal/nominal_inductive.ML

Thu, 03 Nov 2011 13:19:23 +0000	Christian Urban	updated to Isabelle 3 Nov; it includes a hack to work around a bug in the localised version of the quotient package	file \| diff \| annotate
Fri, 19 Aug 2011 10:56:12 +0900	Cezary Kaliszyk	Update to new Isabelle	file \| diff \| annotate
Mon, 15 Aug 2011 10:43:22 +0200	Christian Urban	updated for new Isabelle (11. Aug.)	file \| diff \| annotate
Mon, 18 Apr 2011 15:56:07 +0100	Christian Urban	added permute_pure back into the nominal_inductive procedure; updated to Isabelle 17 April	file \| diff \| annotate
Wed, 13 Apr 2011 13:41:52 +0100	Christian Urban	introduced framework for finetuning eqvt-rules; this solves problem with permute_pure called in nominal_inductive	file \| diff \| annotate
Wed, 19 Jan 2011 17:54:06 +0100	Christian Urban	removed diagnostic code	file \| diff \| annotate
Thu, 06 Jan 2011 14:02:10 +0000	Christian Urban	tuned	file \| diff \| annotate
Wed, 05 Jan 2011 17:33:43 +0000	Christian Urban	exported the code into a separate file	file \| diff \| annotate

nominal2