Quotient-Paper/Paper.thy
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
2010-07-17 Christian Urban some minor changes
2010-07-17 Christian Urban changes suggested by Peter Homeier
2010-06-23 Christian Urban added comment about partial equivalence relations
2010-06-23 Christian Urban even further polishing of the qpaper
2010-06-23 Christian Urban polished paper again (and took out some claims about Homeier's package)
2010-06-21 Christian Urban further post-submission tuning
2010-06-21 Christian Urban some post-submission polishing
2010-06-20 Christian Urban added a few points that need to be looked at the next version of the qpaper
2010-06-20 Christian Urban small addition to the acknowledgement
2010-06-17 Cezary Kaliszyk qpaper / address FIXMEs.
2010-06-17 Cezary Kaliszyk forgot to save
2010-06-17 Cezary Kaliszyk Fix regularization. Two "FIXME" left in introduction. Minor spellings.
2010-06-16 Christian Urban polished everything and submitted
2010-06-16 Christian Urban conclusion done
2010-06-16 Cezary Kaliszyk Answer questions in comments
2010-06-16 Christian Urban tuned
2010-06-16 Christian Urban finished section 4, but put some things I do not understand on comment
2010-06-16 Christian Urban 4 almost finished
2010-06-15 Christian Urban cleaned up definitions
2010-06-15 Cezary Kaliszyk merge
2010-06-15 Cezary Kaliszyk qpaper/Rewrite section5
2010-06-15 Christian Urban merged
2010-06-15 Christian Urban tuned everytinh up to section 4
2010-06-15 Cezary Kaliszyk Definition of Respects.
2010-06-15 Cezary Kaliszyk conclusion
2010-06-15 Cezary Kaliszyk Qpaper / Clarify the typing system and composition of quotients issue.
2010-06-15 Cezary Kaliszyk Remove only reference to 'equivp'.
2010-06-15 Cezary Kaliszyk merge
2010-06-15 Cezary Kaliszyk qpaper/ackno
2010-06-15 Christian Urban tuned
2010-06-15 Cezary Kaliszyk qpaper
2010-06-15 Cezary Kaliszyk qpaper / hol4
2010-06-15 Cezary Kaliszyk qpaper/related work
2010-06-15 Christian Urban finished preliminary section
2010-06-14 Christian Urban typo
2010-06-14 Christian Urban some slight tuning of the preliminary section
2010-06-14 Cezary Kaliszyk merge
2010-06-14 Cezary Kaliszyk qpaper
2010-06-14 Christian Urban merged
less more (0) -100 -60 tip