nominal2: File revisions

LMCS-Paper/Paper.thy

2012-02-29	Christian Urban	implemented all comments from the reviewer	file \| diff \| annotate
2012-01-09	Christian Urban	merged	file \| diff \| annotate
2012-01-09	Christian Urban	added the simple fixes for the paper	file \| diff \| annotate
2012-01-02	Christian Urban	added definition for generalisation of type schemes (for paper)	file \| diff \| annotate
2011-12-29	Christian Urban	made the paper running again	file \| diff \| annotate
2011-09-22	Christian Urban	final polishing?	file \| diff \| annotate
2011-09-21	Cezary Kaliszyk	spelling	file \| diff \| annotate
2011-09-21	Christian Urban	added comments from Andrei	file \| diff \| annotate
2011-09-21	Christian Urban	more polishing	file \| diff \| annotate
2011-09-21	Christian Urban	added a footnote	file \| diff \| annotate
2011-09-21	Christian Urban	some minor polishing	file \| diff \| annotate
2011-09-21	Christian Urban	some minor polishing	file \| diff \| annotate
2011-09-21	Christian Urban	some polishing	file \| diff \| annotate
2011-09-21	Christian Urban	changes	file \| diff \| annotate

nominal2