Quotient-Paper-jv/Paper.thy
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