1.1 --- a/test/Tools/isac/Test_Isac_Short.thy	Wed Feb 22 18:40:34 2023 +0100
     1.2 +++ b/test/Tools/isac/Test_Isac_Short.thy	Fri Feb 24 16:14:28 2023 +0100
     1.3 @@ -264,6 +264,7 @@
     1.4    ML_file "MathEngBasic/rewrite.sml"
     1.5    ML_file "MathEngBasic/tactic.sml"
     1.6    ML_file "MathEngBasic/ctree.sml" (*if red, get the file into a text buffer -- this might clear*)
     1.7 +  ML_file "MathEngBasic/references.sml"
     1.8    ML_file "MathEngBasic/calculation.sml"
     1.9  
    1.10    ML_file "Specify/formalise.sml"
    1.11 @@ -306,6 +307,7 @@
    1.12    ML_file "BridgeJEdit/user-model.sml"
    1.13    ML_file "BridgeJEdit/template.sml"
    1.14    ML_file "BridgeJEdit/preliminary.sml"
    1.15 +  ML_file "BridgeJEdit/calculation.sml"
    1.16    ML_file "BridgeJEdit/vscode-example.sml"
    1.17  ( **)
    1.18