nominal2: File revisions

Nominal/NewAlpha.thy

Thu, 20 May 2010 21:23:53 +0100	Christian Urban	new fv/fv_bn function (supp breaks now); exported raw perms and raw funs into separate ML-files	file \| diff \| annotate
Thu, 27 May 2010 18:30:26 +0200	Christian Urban	fixed bug where perm_simp 'forgets' how to prove equivariance for the empty set	file \| diff \| annotate
Fri, 14 May 2010 15:37:23 +0200	Cezary Kaliszyk	Proper fv/alpha for multiple compound binders	file \| diff \| annotate
Wed, 12 May 2010 16:08:32 +0200	Cezary Kaliszyk	Use raw_induct instead of induct	file \| diff \| annotate
Mon, 10 May 2010 15:09:32 +0200	Cezary Kaliszyk	Use mk_compound_fv' and mk_compound_rel'	file \| diff \| annotate
Thu, 06 May 2010 14:13:35 +0200	Cezary Kaliszyk	Fixes for new Isabelle	file \| diff \| annotate
Thu, 06 May 2010 14:13:05 +0200	Cezary Kaliszyk	compound versions with prod_rel and prod_fun, not made default yet.	file \| diff \| annotate
Sun, 02 May 2010 16:01:45 +0100	Christian Urban	replaced make_pair with library function HOLogic.mk_prod	file \| diff \| annotate

nominal2