Quotient-Paper/Paper.thy
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.
less more (0) -50 -28 tip