Quotient-Paper-jv/Paper.thy
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
Fri, 03 Feb 2012 16:36:18 +0100 Cezary Kaliszyk Use the theorem by Brian, requires new Isabelle.
Tue, 31 Jan 2012 16:26:36 +0000 Christian Urban 2 typos found by John Wickerson in QPaper
Thu, 22 Dec 2011 05:15:37 +0000 Christian Urban moved TODO into the paper
Thu, 22 Dec 2011 04:46:37 +0000 Christian Urban some slight tuning
Tue, 20 Dec 2011 17:54:53 +0900 Cezary Kaliszyk Added an initial version of qpaper-jv and a TODO of things to write about.
less more (0) tip