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
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
2010-06-14 Christian Urban tuned
2010-06-14 Cezary Kaliszyk Qpaper / beginnig of sec5
2010-06-14 Cezary Kaliszyk merge
2010-06-14 Cezary Kaliszyk qpaper/unfold the ball_reg_right statement
2010-06-14 Christian Urban merged
2010-06-14 Christian Urban some tuning and start work on section 4
2010-06-14 Cezary Kaliszyk qpaper
2010-06-14 Cezary Kaliszyk qpaper / INJ
2010-06-14 Cezary Kaliszyk qpaper / REG
2010-06-14 Cezary Kaliszyk qpaper / minor
2010-06-14 Cezary Kaliszyk qpaper/various
2010-06-14 Cezary Kaliszyk qpaper
2010-06-14 Cezary Kaliszyk qpaper/more on example
2010-06-14 Cezary Kaliszyk qpaper/examples
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 tuned
2010-06-13 Christian Urban more on the constant lifting section
2010-06-13 Christian Urban something about the quotient ype definitions
2010-06-13 Christian Urban added some examples
2010-06-13 Christian Urban improved definition of ABS and REP
2010-06-13 Cezary Kaliszyk qpaper.
2010-06-13 Cezary Kaliszyk some spelling
2010-06-13 Cezary Kaliszyk minor
2010-06-13 Cezary Kaliszyk qpaper / tuning in preservation and general display
2010-06-13 Christian Urban polishing of ABS/REP
2010-06-12 Christian Urban some slight tuning of the intro
2010-06-12 Cezary Kaliszyk Fix integer relation.
2010-06-12 Christian Urban completed the intro (except minor things)
2010-06-11 Christian Urban more intro
2010-06-11 Christian Urban more on the qpaper
2010-06-11 Christian Urban even more on the qpaper (intro almost done)
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-06 Cezary Kaliszyk Qpaper / minor on cleaning
2010-06-05 Cezary Kaliszyk qpaper / injection proof.
2010-06-05 Cezary Kaliszyk qpaper / example interaction
2010-06-05 Cezary Kaliszyk Qpaper/regularization proof.
2010-06-05 Cezary Kaliszyk qpaper
2010-06-02 Cezary Kaliszyk Qpaper/more.
2010-06-02 Cezary Kaliszyk Qpaper/Minor
2010-06-01 Christian Urban added larry's quote
2010-05-27 Cezary Kaliszyk qpaper / lemmas used in proofs
2010-05-27 Cezary Kaliszyk qpaper / injection statement
2010-05-27 Cezary Kaliszyk qpaper / regularize
2010-05-27 Cezary Kaliszyk qpaper / a bit about prs
2010-05-27 Cezary Kaliszyk Functionalized the ABS/REP definition.
2010-05-26 Cezary Kaliszyk qpaper / lifting introduction
less more (0) -120 tip