nominal2: File revisions

Nominal/nominal_eqvt.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
Wed, 22 Jun 2011 12:18:22 +0100	Christian Urban	some rudimentary infrastructure for storing data about nominal datatypes	file \| diff \| annotate
Thu, 16 Jun 2011 20:07:03 +0100	Christian Urban	got rid of the boolean flag in the raw_equivariance function	file \| diff \| annotate
Tue, 03 May 2011 13:25:02 +0100	Christian Urban	deleted two functions from the API	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
Fri, 07 Jan 2011 02:30:00 +0000	Christian Urban	derived equivariance for the function graph and function relation	file \| diff \| annotate
Wed, 22 Dec 2010 12:47:09 +0000	Christian Urban	updated to Isabelle 22 December	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 \| base

nominal2