nominal2: File revisions

Nominal/Ex/SingleLet.thy

2010-06-07	Christian Urban	improved abstract, some tuning	file \| diff \| annotate
2010-05-27	Christian Urban	fixed bug where perm_simp 'forgets' how to prove equivariance for the empty set	file \| diff \| annotate
2010-05-17	Christian Urban	minor tuning	file \| diff \| annotate
2010-05-12	Christian Urban	fixed the examples for the new eqvt-procedure....temporarily disabled Manual/Term4.thy	file \| diff \| annotate
2010-05-12	Christian Urban	moved the data-transformation into the parser	file \| diff \| annotate
2010-05-12	Christian Urban	ingnored parameters in equivariance; added a proper interface to be called from ML	file \| diff \| annotate
2010-05-12	Christian Urban	properly exported defined bn-functions	file \| diff \| annotate
2010-05-11	Cezary Kaliszyk	Include raw permutation definitions in eqvt	file \| diff \| annotate
2010-05-11	Cezary Kaliszyk	Declare alpha_gen_eqvt as eqvt and change the proofs that used 'eqvts[symmetric]'	file \| diff \| annotate
2010-05-05	Christian Urban	solved the problem with equivariance by first eta-normalising the goal	file \| diff \| annotate
2010-05-03	Cezary Kaliszyk	SingleLet and Ex3 work with NewParser.	file \| diff \| annotate
2010-05-03	Cezary Kaliszyk	Equivariance fails for single let?	file \| diff \| annotate
2010-04-20	Christian Urban	renamed Ex1.thy to SingleLet.thy	file \| diff \| annotate \| base

nominal2