Tue, 14 May 2019 11:10:53 +0200 Accomodate to Isabelle 2018
Norbert Schirmer <norbert.schirmer@web.de> [Tue, 14 May 2019 11:10:53 +0200] rev 562
Accomodate to Isabelle 2018
Fri, 03 Jun 2016 15:15:17 +0100 updated pdf
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 03 Jun 2016 15:15:17 +0100] rev 561
updated pdf
(0) -300 -100 -30 -10 -2 +2 +10 tip