nominal2: File revisions

Quotient-Paper/document/root.tex

2010-11-10	Christian Urban	expanded the paper by uncommenting the comments and adding the appendix	file \| diff \| annotate
2010-10-29	Christian Urban	squeezed qpaper to 6 pages	file \| diff \| annotate
2010-10-28	Cezary Kaliszyk	Unanonymize qpaper	file \| diff \| annotate
2010-10-14	Christian Urban	fixed the typo in the abstract and the problem with append (the type of map_k	file \| diff \| annotate
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

nominal2