1.1 --- a/src/Tools/isac/Build_Isac.thy	Sun Oct 09 09:01:29 2022 +0200
     1.2 +++ b/src/Tools/isac/Build_Isac.thy	Wed Oct 19 10:43:04 2022 +0200
     1.3 @@ -109,10 +109,10 @@
     1.4      ML_file istate.sml
     1.5      ML_file "sub-problem.sml"
     1.6      ML_file "thy-read.sml"
     1.7 +    ML_file "li-tool.sml"
     1.8      ML_file "solve-step.sml"
     1.9      ML_file "error-pattern.sml"
    1.10      ML_file derive.sml
    1.11 -    ML_file "li-tool.sml"
    1.12      ML_file "lucas-interpreter.sml"
    1.13      ML_file "step-solve.sml"
    1.14  ( ** )    "Interpret/Interpret"( **)