Quotient-Paper/document/root.tex
2010-11-10 Christian Urban expanded the paper by uncommenting the comments and adding the appendix
2010-10-29 Christian Urban squeezed qpaper to 6 pages
2010-10-28 Cezary Kaliszyk Unanonymize qpaper
2010-10-14 Christian Urban fixed the typo in the abstract and the problem with append (the type of map_k
2010-08-30 Cezary Kaliszyk Anonymize, change Quotient to Quot and fix indentation
2010-08-27 Christian Urban cut out most of the lifting section and cleaned up everything
2010-08-27 Christian Urban made all typographic changes
2010-08-27 Christian Urban first pass on section 1
2010-08-27 Christian Urban make copies of the "old" files
2010-06-23 Christian Urban polished paper again (and took out some claims about Homeier's package)
2010-06-15 Christian Urban finished preliminary section
2010-06-14 Christian Urban completed proof and started section about respectfulness and preservation
2010-06-13 Christian Urban more on the qpaper
2010-06-13 Christian Urban something about the quotient ype definitions
2010-06-13 Christian Urban polishing of ABS/REP
2010-06-12 Christian Urban some slight tuning of the intro
2010-06-12 Christian Urban completed the intro (except minor things)
2010-06-11 Christian Urban more intro
2010-06-11 Christian Urban more to the introduction of the qpaper
2010-06-10 Christian Urban more on the qpaper
2010-06-07 Christian Urban more work on intro and abstract (done for today)
2010-06-07 Christian Urban a bit more in the introduction and abstract
2010-06-07 Christian Urban improved abstract, some tuning
2010-06-01 Christian Urban added larry's quote
2010-05-28 Christian Urban first version of the abstract
2010-05-23 Christian Urban changed qpaper to lncs-style
2010-05-03 Christian Urban some preliminary notes of the abstract (qpaper); still need to see the motivating example
2010-04-29 Christian Urban added stub for quotient paper; call with isabelle make qpaper
less more (0) tip