Wed, 09 Sep 2015 11:24:19 +0100 Christian Urban updated for Isabelle 2015
Tue, 15 Jul 2014 17:25:53 +0200 Christian Urban updated teh theories to newer Isabelle version
(0) -30 -10 -2 +2 +10 +30 +100 tip