Tue, 16 Aug 2011 17:48:09 +0200 Christian Urban more on the intro and correct style-files
Mon, 15 Aug 2011 17:42:35 +0200 Christian Urban uodated to new Isabelle (15. Aug)
Mon, 15 Aug 2011 10:43:22 +0200 Christian Urban updated for new Isabelle (11. Aug.)
Sun, 14 Aug 2011 08:52:03 +0200 Christian Urban merged
Fri, 12 Aug 2011 22:37:41 +0200 Christian Urban started lmcs paper (isabelle make lmcs)
Sun, 24 Jul 2011 07:54:54 +0200 Cezary Kaliszyk update to 'termination (eqvt)'.
(0) -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 tip