1.1 --- a/src/Tools/isac/Build_Isac.thy	Thu Aug 23 17:20:37 2018 +0200
     1.2 +++ b/src/Tools/isac/Build_Isac.thy	Thu Aug 23 17:23:11 2018 +0200
     1.3 @@ -1,4 +1,4 @@
     1.4 -(*  Title:  build the Isac Mathengine 
     1.5 +(*  Title:  build the Isac Mathengine
     1.6      Author: Walther Neuper, TU Graz, 100808
     1.7     (c) due to copyright terms
     1.8