Quotient-Paper/Paper.thy
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
2010-08-27 Christian Urban made all typographic changes
2010-08-27 Christian Urban first pass on section 1
2010-08-26 Cezary Kaliszyk minor
2010-08-20 Cezary Kaliszyk Clarifications to FIXMEs.
2010-08-20 Cezary Kaliszyk Finished adding remarks from the reviewers.
2010-08-20 Cezary Kaliszyk few remaining remarks as fixme's.
2010-08-19 Cezary Kaliszyk Intuition behind REL
2010-08-19 Cezary Kaliszyk Add 2 FIXMEs
2010-08-19 Cezary Kaliszyk The type does determine respectfulness, the constant without an instantiated type does not.
2010-08-19 Cezary Kaliszyk TODO
2010-08-19 Cezary Kaliszyk further comments from the referees
2010-08-19 Cezary Kaliszyk fixes for referees
2010-07-20 Christian Urban merged
2010-07-19 Christian Urban minor
2010-07-19 Christian Urban quote for a new paper
2010-07-19 Christian Urban corrected lambda-preservation theorem
2010-07-18 Christian Urban minor things on the paper
2010-07-18 Christian Urban minor things
less more (0) -100 -50 -30 tip