nominal2: File revisions

Nominal/Ex/SingleLet.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
Sun, 20 Jun 2010 02:37:58 +0100	Christian Urban	fixed example	file \| diff \| annotate
Mon, 07 Jun 2010 11:33:00 +0200	Christian Urban	improved abstract, some tuning	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
Mon, 17 May 2010 16:25:45 +0100	Christian Urban	minor tuning	file \| diff \| annotate
Wed, 12 May 2010 16:59:53 +0100	Christian Urban	fixed the examples for the new eqvt-procedure....temporarily disabled Manual/Term4.thy	file \| diff \| annotate
Wed, 12 May 2010 16:33:25 +0100	Christian Urban	moved the data-transformation into the parser	file \| diff \| annotate
Wed, 12 May 2010 14:47:52 +0100	Christian Urban	ingnored parameters in equivariance; added a proper interface to be called from ML	file \| diff \| annotate

nominal2