Wed, 09 Sep 2015 11:24:19 +0100 updated for Isabelle 2015
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 09 Sep 2015 11:24:19 +0100] rev 45
updated for Isabelle 2015
(0) -30 -10 -1 +1 +10 +30 +100 tip