nominal2: File revisions

Nominal/Nominal2_Base.thy

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
Sat, 12 May 2012 20:54:00 +0100	Christian Urban	added a lemma about composition and permutations	file \| diff \| annotate
Wed, 04 Apr 2012 06:19:38 +0100	Christian Urban	updated to Isabelle version April 1	file \| diff \| annotate
Fri, 30 Mar 2012 13:56:36 +0200	Cezary Kaliszyk	Clean the proof of Aux	file \| diff \| annotate
Sat, 17 Mar 2012 05:13:59 +0000	Christian Urban	updated to new Isabelle (declared keywords)	file \| diff \| annotate
Fri, 17 Feb 2012 11:50:09 +0000	Christian Urban	added multisets to stable branch Nominal2-Isabelle2011-1	file \| diff \| annotate

nominal2