Wed, 31 Jul 2013 13:15:29 +0100 added some lemmas
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 31 Jul 2013 13:15:29 +0100] rev 3221
added some lemmas
Mon, 01 Jul 2013 09:56:58 +0100 updated to ne Isabelle
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 01 Jul 2013 09:56:58 +0100] rev 3220
updated to ne Isabelle
(0) -3000 -1000 -300 -100 -30 -10 -2 +2 +10 tip