nominal2: File revisions

Paper/document/root.tex

2010-10-08	Christian Urban	added apendix to paper detailing one proof	file \| diff \| annotate
2010-10-08	Christian Urban	down to 20 pages	file \| diff \| annotate
2010-10-06	Christian Urban	down to 21 pages and changed strong induction section	file \| diff \| annotate
2010-10-05	Christian Urban	down to 23 pages	file \| diff \| annotate
2010-10-05	Christian Urban	llncs and more sqeezing	file \| diff \| annotate
2010-10-04	Christian Urban	first part of sqeezing everything into 20 pages (at the moment we have 26)	file \| diff \| annotate
2010-10-04	Christian Urban	changed to llncs	file \| diff \| annotate
2010-09-26	Christian Urban	a few more words about Ott	file \| diff \| annotate
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

nominal2