nominal2: File revisions

Nominal/Ex/Lambda.thy

2010-05-18	Cezary Kaliszyk	Single variable substitution	file \| diff \| annotate
2010-05-18	Cezary Kaliszyk	subst fix	file \| diff \| annotate
2010-05-18	Cezary Kaliszyk	subst experiments	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-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-09	Christian Urban	cleaned up a bit the examples; added equivariance to all examples	file \| diff \| annotate
2010-05-04	Cezary Kaliszyk	Move 2 more to NewParser	file \| diff \| annotate
2010-04-26	Christian Urban	some changes to the paper	file \| diff \| annotate
2010-04-26	Christian Urban	eliminated command so that all compiles	file \| diff \| annotate
2010-04-26	Christian Urban	changed theorem_i to theorem....requires new Isabelle	file \| diff \| annotate
2010-04-25	Christian Urban	tuned and cleaned	file \| diff \| annotate
2010-04-16	Christian Urban	automatic proofs for equivariance of alphas	file \| diff \| annotate
2010-04-16	Cezary Kaliszyk	Finished proof in Lambda.thy	file \| diff \| annotate

nominal2