Quotient-Paper/Paper.thy
2011-06-02 Christian Urban typo
2011-05-02 Christian Urban updated Quotient paper so that it compiles again
2011-03-16 Christian Urban precise path to LaTeXsugar
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-29 Cezary Kaliszyk Qpaper / Move examples to commented out appendix
2010-10-28 Cezary Kaliszyk Unanonymize qpaper
2010-10-28 Cezary Kaliszyk FSet changes for Qpaper
2010-10-19 Christian Urban took out comment about map-types / adapted to recent changes
2010-10-15 Cezary Kaliszyk Synchronizing FSet further.
2010-10-15 Cezary Kaliszyk Partially merging changes from Isabelle
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 update qpaper to new isabelle
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
less more (0) -100 -15 tip