nominal2: File revisions

Nominal/nominal_library.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, 22 Jul 2011 11:37:16 +0100	Christian Urban	completed the eqvt-proofs for functions; they are stored under the name function_name.eqvt and added to the eqvt-list	file \| diff \| annotate
Wed, 22 Jun 2011 14:14:54 +0100	Christian Urban	tuned	file \| diff \| annotate
Wed, 22 Jun 2011 13:40:25 +0100	Christian Urban	deleted some dead code	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
Mon, 28 Feb 2011 15:21:10 +0000	Christian Urban	split the library into a basics file; merged Nominal_Eqvt into Nominal_Base	file \| diff \| annotate
Thu, 06 Jan 2011 19:57:57 +0000	Christian Urban	removed debugging code abd introduced a guarded tracing function	file \| diff \| annotate
Tue, 04 Jan 2011 13:47:38 +0000	Christian Urban	final version of the ESOP paper; used set+ instead of res as requested by one reviewer	file \| diff \| annotate

nominal2