1.1 --- a/test/Tools/isac/Test_Isac_Short.thy Sun May 10 15:55:30 2020 +0200
1.2 +++ b/test/Tools/isac/Test_Isac_Short.thy Sun May 10 17:26:36 2020 +0200
1.3 @@ -103,7 +103,6 @@
1.4 open Error_Pattern_Def;
1.5 open In_Chead;
1.6 open Chead; pt_extract;
1.7 - open Generate; (* NONE *)
1.8 open Ctree; append_problem;
1.9 open Pos;
1.10 open Program;
1.11 @@ -121,7 +120,7 @@
1.12 open Stool; (* NONE *)
1.13 open ContextC; transfer_asms_from_to;
1.14 open Tactic; (* NONE *)
1.15 - open Model; (* NONE *)
1.16 + open P_Model; (* NONE *)
1.17 open Rewrite;
1.18 open Eval; get_pair;
1.19 open TermC; atomt;
1.20 @@ -232,7 +231,6 @@
1.21 subsection \<open>further functionality alongside batch build sequence\<close>
1.22 ML_file "MathEngBasic/thmC.sml"
1.23 ML_file "MathEngBasic/rewrite.sml"
1.24 - ML_file "MathEngBasic/model.sml"
1.25 ML_file "MathEngBasic/mstools.sml"
1.26 ML_file "MathEngBasic/tactic.sml"
1.27 ML_file "MathEngBasic/ctree.sml"