nominal2: File revisions

Nominal/nominal_mutual.ML

Thu, 29 Nov 2012 21:59:38 +0000	Christian Urban	fixed problem with not fresh enough permutation name in nominal_primrec	file \| diff \| annotate
Tue, 07 Aug 2012 18:54:52 +0100	Christian Urban	definition of an auxiliary graph in nominal-primrec definitions	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:52:12 +0100	Christian Urban	tuned	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
Tue, 19 Jul 2011 19:09:06 +0100	Christian Urban	temporary fix	file \| diff \| annotate
Tue, 19 Jul 2011 09:40:46 +0100	Christian Urban	merged	file \| diff \| annotate
Tue, 19 Jul 2011 02:30:05 +0100	Christian Urban	preliminary version of automatically generation the eqvt-lemmas for functions defined with nominal_primrec	file \| diff \| annotate

nominal2