Quotient-Paper-jv/Paper.thy
Wed, 21 Mar 2012 20:34:04 +0000 Christian Urban slight tuning of Q-paper-jv
Wed, 22 Feb 2012 12:10:17 +0000 Christian Urban slight polish of the qpaper-jv
Thu, 09 Feb 2012 15:18:10 +0100 Cezary Kaliszyk qpaper-jv: merge and add to TODOs in the paper and in front.
Thu, 09 Feb 2012 14:47:24 +0100 Cezary Kaliszyk minor
less more (0) -4 tip