1.1 --- a/src/Tools/isac/Build_Isac.thy	Sun Sep 22 15:15:37 2019 +0200
     1.2 +++ b/src/Tools/isac/Build_Isac.thy	Sun Sep 22 16:52:14 2019 +0200
     1.3 @@ -26,7 +26,6 @@
     1.4          ML_file calculate.sml
     1.5        theory ListC imports "~~/src/Tools/isac/CalcElements/CalcElements"
     1.6      theory Prog_Expr imports Calculate ListC
     1.7 -
     1.8        theory Program imports "~~/src/Tools/isac/CalcElements/CalcElements"
     1.9        theory Prog_Tac imports "~~/src/Tools/isac/CalcElements/CalcElements"
    1.10        theory Tactical imports "~~/src/Tools/isac/CalcElements/CalcElements"