nominal2: File revisions

Paper/document/root.tex

2010-07-23	Christian Urban	samll changes	file \| diff \| annotate
2010-07-02	Christian Urban	more on the paper	file \| diff \| annotate
2010-07-01	Christian Urban	spell check	file \| diff \| annotate
2010-06-30	Christian Urban	more work on the paper	file \| diff \| annotate
2010-06-10	Christian Urban	adapted to the official sigplan style file (this gives us more space)	file \| diff \| annotate
2010-06-07	Christian Urban	new title for POPL paper	file \| diff \| annotate
2010-04-27	Christian Urban	merged	file \| diff \| annotate
2010-04-02	Christian Urban	more on the strong induction section	file \| diff \| annotate
2010-04-01	Christian Urban	current state	file \| diff \| annotate
2010-04-01	Christian Urban	added alpha_bn definition	file \| diff \| annotate
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	added alpha-definition for ~~ty	file \| diff \| annotate
2010-03-30	Christian Urban	more of the paper	file \| diff \| annotate
2010-03-28	Christian Urban	more on the paper	file \| diff \| annotate

nominal2