Tue, 06 Sep 2011 12:18:02 +0100 Christian Urban more on the lmcs paper
Sun, 28 Aug 2011 14:50:13 +0100 Christian Urban updated to Isabelle 28 Aug
(0) -1000 -300 -100 -30 -10 -2 +2 +10 +30 +100 tip