1.1 --- a/src/Tools/isac/Build_Isac.thy	Wed May 20 12:52:09 2020 +0200
     1.2 +++ b/src/Tools/isac/Build_Isac.thy	Sun May 24 16:05:36 2020 +0200
     1.3 @@ -11,7 +11,7 @@
     1.4  Errors are rigorously detected by isabelle build.
     1.5  *)
     1.6  
     1.7 -theory Build_Isac 
     1.8 +theory Build_Isac
     1.9  imports
    1.10  (*  theory Know_Store imports Complex_Main
    1.11        ML_file libraryC.sml