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