nominal2: File revisions

Nominal/nominal_permeq.ML

Thu, 09 Jul 2015 02:32:46 +0100	Christian Urban	updated for Isabelle 2015	file \| diff \| annotate
Thu, 13 Mar 2014 09:21:31 +0000	Christian Urban	updated to Isabelle changes	file \| diff \| annotate
Mon, 04 Jun 2012 21:39:51 +0100	Christian Urban	added permutation simplification to the simplifier; this makes the simplifier more powerful, but it potentially loops more often	file \| diff \| annotate
Tue, 10 May 2011 07:47:06 +0100	Christian Urban	updated to new Isabelle (> 9 May)	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
Thu, 16 Dec 2010 02:25:35 +0000	Christian Urban	added theorem-rewriter conversion	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
Thu, 25 Feb 2010 07:48:33 +0100	Christian Urban	moved Nominal to "toplevel"	file \| diff \| annotate \| base

nominal2