nominal2: File revisions

Nominal/Nominal2_Base.thy

Wed, 06 Jun 2012 14:50:47 +0100	Christian Urban	a simproc for simplifying Fresh when there is a sufficiently fresh atom	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
Thu, 31 May 2012 11:59:56 +0100	Christian Urban	added let-eqvt back	file \| diff \| annotate
Thu, 31 May 2012 10:05:19 +0100	Christian Urban	renamed fresh_fun to Fresh; added a simproc that deals with freshness of functions	file \| diff \| annotate
Fri, 25 May 2012 15:46:48 +0100	Christian Urban	fixed bug in simproc (also in the exec-version)	file \| diff \| annotate
Thu, 24 May 2012 10:17:32 +0200	Cezary Kaliszyk	Synchronize Nominal2_Base_Exec with Nominal2_Base, equivariance for Let, avoid overloading approx twice and changes for new isabelle	file \| diff \| annotate
Wed, 23 May 2012 23:57:27 +0100	Christian Urban	improved handling in the simplifier for inequalities derived from freshness assumptions	file \| diff \| annotate

nominal2