nominal2: File revisions

Nominal/NewParser.thy

2010-08-16	Christian Urban	also able to lift the bn_defs	file \| diff \| annotate
2010-08-16	Christian Urban	added rsp-lemmas for alpha_bns	file \| diff \| annotate
2010-08-16	Christian Urban	modified the code for class instantiations (with help from Florian)	file \| diff \| annotate
2010-08-15	Christian Urban	defined qperms and qsizes	file \| diff \| annotate
2010-08-15	Christian Urban	simplified code	file \| diff \| annotate
2010-08-14	Christian Urban	improved code	file \| diff \| annotate
2010-08-14	Christian Urban	more experiments with lifting	file \| diff \| annotate
2010-08-12	Christian Urban	updated to Isabelle 12th Aug	file \| diff \| annotate
2010-08-11	Christian Urban	rsp for constructors	file \| diff \| annotate
2010-08-08	Christian Urban	proved rsp-helper lemmas of size functions	file \| diff \| annotate
2010-07-31	Christian Urban	introduced a general alpha_prove method	file \| diff \| annotate
2010-07-29	Christian Urban	equivariance for size	file \| diff \| annotate
2010-07-29	Christian Urban	helper lemmas for rsp-lemmas	file \| diff \| annotate
2010-07-27	Christian Urban	fixed order of fold_union to make alpha and fv agree	file \| diff \| annotate
2010-07-22	Christian Urban	updated to new Isabelle; made FSet more "quiet"	file \| diff \| annotate
2010-07-16	Christian Urban	more on the paper	file \| diff \| annotate

nominal2