nominal2: File revisions

Nominal/Ex/Lambda.thy

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
2010-04-16	Christian Urban	attempt to manual prove eqvt for alpha	file \| diff \| annotate
2010-04-16	Christian Urban	some tuning of eqvt-infrastructure	file \| diff \| annotate
2010-04-14	Christian Urban	deleted offending [eqvt]-attribute in Abs; Lambda works again, but there is now a problem in CoreHaskell	file \| diff \| annotate
2010-04-14	Christian Urban	tuned and removed dead code	file \| diff \| annotate
2010-04-14	Christian Urban	added a library for basic nominal functions; separated nominal_eqvt file	file \| diff \| annotate
2010-04-14	Christian Urban	first working version of the automatic equivariance procedure	file \| diff \| annotate
2010-04-14	Christian Urban	preliminary tests	file \| diff \| annotate
2010-04-13	Christian Urban	made everything to compile	file \| diff \| annotate

nominal2