nominal2: File revisions

Nominal/NewParser.thy

2010-07-07	Christian Urban	more on the paper	file \| diff \| annotate
2010-06-28	Christian Urban	more quotient-definitions	file \| diff \| annotate
2010-06-28	Christian Urban	slight cleaning	file \| diff \| annotate
2010-06-27	Christian Urban	fixed according to changes in quotient	file \| diff \| annotate
2010-06-24	Christian Urban	added definition of the quotient types	file \| diff \| annotate
2010-06-23	Christian Urban	deleted compose-lemmas in Abs (not needed anymore)	file \| diff \| annotate
2010-06-23	Christian Urban	deleted equivp_hack	file \| diff \| annotate
2010-06-22	Christian Urban	proved eqvip theorems for alphas	file \| diff \| annotate
2010-06-22	Christian Urban	cleaned up the FSet (noise was introduced by error)	file \| diff \| annotate
2010-06-22	Christian Urban	prove that alpha implies alpha_bn (needed for rsp proofs)	file \| diff \| annotate
2010-06-11	Christian Urban	also symmetry	file \| diff \| annotate
2010-06-10	Christian Urban	premerge	file \| diff \| annotate
2010-06-09	Christian Urban	transitivity proofs done	file \| diff \| annotate
2010-06-07	Christian Urban	work on transitivity proof	file \| diff \| annotate
2010-06-03	Christian Urban	fixed problem with eqvt proofs	file \| diff \| annotate

nominal2