nominal2: File revisions

Nominal/nominal_library.ML

Sun, 15 Dec 2013 15:14:40 +1100	Christian Urban	updated to changes in Isabelle	file \| diff \| annotate
Fri, 19 Apr 2013 00:10:52 +0100	Christian Urban	updated to simplifier changes	file \| diff \| annotate
Wed, 27 Mar 2013 16:08:30 +0100	webertj	Various changes to support Nominal2 commands in local contexts.	file \| diff \| annotate
Mon, 28 May 2012 18:03:06 +0100	Christian Urban	added library routines for the constant fresh	file \| diff \| annotate
Tue, 13 Dec 2011 09:39:56 +0000	Christian Urban	updated to Isabelle 13 Dec	file \| diff \| annotate
Sat, 26 Nov 2011 09:48:14 +0000	Christian Urban	used simproc-antiquotation	file \| diff \| annotate
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

nominal2