https://cflmark.nms.kcl.ac.uk/hg/nominal2/ en-us nominal2: Quotient-Paper-jv/TODO history Quotient-Paper-jv/TODO revision history Added an initial version of qpaper-jv and a TODO of things to write about. https://cflmark.nms.kcl.ac.uk/hg/nominal2/log/a6b0220fb8ae/Quotient-Paper-jv/TODO Cezary Kaliszyk <kaliszyk@in.tum.de> Tue, 20 Dec 2011 17:54:53 +0900