Quotient-Paper-jv/Paper.thy
2012-04-03 Christian Urban a bit more on the qpaper
2012-03-26 Cezary Kaliszyk qpaper-jv add a section about descending etc
2012-03-21 Christian Urban slight tuning of Q-paper-jv
2012-02-22 Christian Urban slight polish of the qpaper-jv
2012-02-09 Cezary Kaliszyk qpaper-jv: merge and add to TODOs in the paper and in front.
2012-02-09 Cezary Kaliszyk minor
2012-02-03 Cezary Kaliszyk Use the theorem by Brian, requires new Isabelle.
2012-01-31 Christian Urban 2 typos found by John Wickerson in QPaper
2011-12-22 Christian Urban moved TODO into the paper
2011-12-22 Christian Urban some slight tuning
2011-12-20 Cezary Kaliszyk Added an initial version of qpaper-jv and a TODO of things to write about.
less more (0) tip