nominal2: File revisions

Paper/Paper.thy

2010-10-08	Christian Urban	tuned	file \| diff \| annotate
2010-10-08	Christian Urban	added apendix to paper detailing one proof	file \| diff \| annotate
2010-10-08	Christian Urban	minor	file \| diff \| annotate
2010-10-08	Christian Urban	minor	file \| diff \| annotate
2010-10-08	Christian Urban	down to 20 pages	file \| diff \| annotate
2010-10-07	Cezary Kaliszyk	minor	file \| diff \| annotate
2010-10-06	Christian Urban	down to 21 pages and changed strong induction section	file \| diff \| annotate
2010-10-06	Christian Urban	tuned	file \| diff \| annotate
2010-10-06	Christian Urban	down to 22 pages	file \| diff \| annotate
2010-10-05	Christian Urban	down to 23 pages	file \| diff \| annotate
2010-10-05	Christian Urban	down to 24 pages and a bit	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-10-01	Cezary Kaliszyk	Made the paper to compile with the renamings.	file \| diff \| annotate

nominal2