1.1 --- a/src/Tools/isac/Build_Isac.thy	Mon Jan 20 11:48:59 2020 +0100
     1.2 +++ b/src/Tools/isac/Build_Isac.thy	Mon Jan 20 14:38:46 2020 +0100
     1.3 @@ -49,6 +49,7 @@
     1.4      ML_file "ctree-access.sml"
     1.5      ML_file "ctree-navi.sml"
     1.6      ML_file ctree.sml
     1.7 +  (*ML_file tactic.sml*)
     1.8      ML_file calculation.sml
     1.9  *)        "MathEngBasic/MathEngBasic"
    1.10  (*