2010-07-19 Christian Urban minor
2010-07-18 Christian Urban minor things on the paper
2010-07-18 Christian Urban merged
2010-07-18 Christian Urban minor things
2010-07-18 Christian Urban some test with quotient
2010-07-17 Christian Urban some minor changes
2010-07-17 Christian Urban changes suggested by Peter Homeier
2010-07-17 Christian Urban tests
2010-07-16 Christian Urban submitted version
2010-07-16 Christian Urban more paper
2010-07-16 Christian Urban more on the paper
2010-07-16 Christian Urban more on the paper
2010-07-15 Christian Urban a bit more to the paper
2010-07-14 Christian Urban more on the paper
2010-07-13 Christian Urban more on slides
2010-07-13 Christian Urban slides
2010-07-12 Christian Urban more on slides
2010-07-11 Christian Urban slides
2010-07-10 Christian Urban slides
2010-07-10 Christian Urban more on slides
2010-07-10 Christian Urban more on slides
2010-07-10 Christian Urban added material for slides
2010-07-09 Christian Urban fixed
2010-07-09 Christian Urban before examples
2010-07-09 Christian Urban finished alpha-section
2010-07-07 Christian Urban more on the paper
2010-07-07 Christian Urban more on the paper
2010-07-02 Christian Urban more on the paper
2010-07-02 Christian Urban finished fv-section
2010-07-01 Christian Urban more on the paper
2010-07-01 Christian Urban spell check
2010-06-30 Christian Urban more work on the paper
2010-06-29 Christian Urban removed an "eqvt"-warning
2010-06-28 Christian Urban more quotient-definitions
2010-06-28 Christian Urban slight cleaning
2010-06-27 Christian Urban fixed according to changes in quotient
2010-06-24 Christian Urban added definition of the quotient types
2010-06-24 Christian Urban fixed according to changes in quotient
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-23 Christian Urban some slight polishing on the paper
2010-06-23 Christian Urban merged cezary's changes
2010-06-23 Christian Urban whitespace
2010-06-23 Cezary Kaliszyk Un-do the second change to SingleLet.
2010-06-23 Cezary Kaliszyk merge
2010-06-23 Cezary Kaliszyk Changes for PER and list_all2 committed to Isabelle
2010-06-18 Cezary Kaliszyk changes for partial-equivalence quotient package
2010-06-23 Christian Urban deleted compose-lemmas in Abs (not needed anymore)
2010-06-23 Christian Urban deleted equivp_hack
2010-06-22 Christian Urban proved eqvip theorems for alphas
2010-06-22 Christian Urban cleaned up the FSet (noise was introduced by error)
2010-06-22 Christian Urban prove that alpha implies alpha_bn (needed for rsp proofs)
2010-06-21 Christian Urban further post-submission tuning
2010-06-21 Christian Urban merged with main line
2010-06-21 Christian Urban merged
2010-06-11 Christian Urban also symmetry
2010-06-10 Christian Urban merged
2010-06-10 Christian Urban premerge
2010-06-09 Christian Urban transitivity proofs done
(0) -1000 -300 -100 -60 +60 +100 +300 tip