1.1 --- a/test/Tools/isac/Test_Isac_Short.thy Fri Jan 17 13:14:11 2020 +0100
1.2 +++ b/test/Tools/isac/Test_Isac_Short.thy Fri Jan 17 13:47:19 2020 +0100
1.3 @@ -202,7 +202,8 @@
1.4 ML_file "MathEngBasic/mstools.sml"
1.5 ML_file "MathEngBasic/specification-elems.sml"
1.6 ML_file "MathEngBasic/tactic.sml"
1.7 - ML_file "MathEngBasic/ctree.sml" (*!...!see(25)*)
1.8 + ML_file "MathEngBasic/ctree.sml"
1.9 + ML_file "MathEngBasic/calculation.sml"
1.10
1.11 ML_file "Specify/ptyps.sml" (* requires setup from ptyps.thy *)
1.12 ML \<open>(*check_unsynchronized_ref (); ==== trick on error: CUT AND PASTE THIS LINE =========*)\<close>