nominal2: File revisions

Quotient-Paper/document/root.tex

2010-08-30	Cezary Kaliszyk	Anonymize, change Quotient to Quot and fix indentation	file \| diff \| annotate
2010-08-27	Christian Urban	cut out most of the lifting section and cleaned up everything	file \| diff \| annotate
2010-08-27	Christian Urban	made all typographic changes	file \| diff \| annotate
2010-08-27	Christian Urban	first pass on section 1	file \| diff \| annotate
2010-08-27	Christian Urban	make copies of the "old" files	file \| diff \| annotate \| base
2010-06-23	Christian Urban	polished paper again (and took out some claims about Homeier's package)	file \| diff \| annotate
2010-06-15	Christian Urban	finished preliminary section	file \| diff \| annotate
2010-06-14	Christian Urban	completed proof and started section about respectfulness and preservation	file \| diff \| annotate
2010-06-13	Christian Urban	more on the qpaper	file \| diff \| annotate
2010-06-13	Christian Urban	something about the quotient ype definitions	file \| diff \| annotate
2010-06-13	Christian Urban	polishing of ABS/REP	file \| diff \| annotate
2010-06-12	Christian Urban	some slight tuning of the intro	file \| diff \| annotate
2010-06-12	Christian Urban	completed the intro (except minor things)	file \| diff \| annotate
2010-06-11	Christian Urban	more intro	file \| diff \| annotate
2010-06-11	Christian Urban	more to the introduction of the qpaper	file \| diff \| annotate

nominal2