nominal2: File revisions

Paper/Paper.thy

2010-04-01	Christian Urban	more on the paper	file \| diff \| annotate
2010-03-31	Christian Urban	polished everything up to TODO	file \| diff \| annotate
2010-03-31	Christian Urban	merged	file \| diff \| annotate
2010-03-31	Christian Urban	added alpha-definition for ~~ty	file \| diff \| annotate
2010-03-31	Cezary Kaliszyk	permute_bn	file \| diff \| annotate
2010-03-31	Christian Urban	abbreviations for \<otimes> and \<oplus>	file \| diff \| annotate
2010-03-31	Christian Urban	merged	file \| diff \| annotate
2010-03-31	Christian Urban	polished and removed tys from bn-functions.	file \| diff \| annotate
2010-03-31	Cezary Kaliszyk	merge	file \| diff \| annotate
2010-03-31	Cezary Kaliszyk	More on paper	file \| diff \| annotate
2010-03-31	Christian Urban	started to polish alpha-equivalence section, but needs more work	file \| diff \| annotate
2010-03-31	Christian Urban	started with a related work section	file \| diff \| annotate
2010-03-30	Christian Urban	polished and added an example for fvars	file \| diff \| annotate
2010-03-30	Christian Urban	cleaned up the section about fv's	file \| diff \| annotate
2010-03-30	Christian Urban	tuned beginning of section 4	file \| diff \| annotate
2010-03-30	Cezary Kaliszyk	More on section 5.	file \| diff \| annotate

nominal2