changeset 60650 | 06ec8abfd3bc |
parent 60649 | b2ff1902420f |
child 60669 | 76bdde8e5c64 |
1.1 --- a/test/Tools/isac/Test_Isac.thy Wed Jan 11 09:23:18 2023 +0100 1.2 +++ b/test/Tools/isac/Test_Isac.thy Wed Jan 11 11:38:01 2023 +0100 1.3 @@ -124,7 +124,7 @@ 1.4 open P_Model; (* NONE *) 1.5 open Rewrite; 1.6 open Eval; get_pair; 1.7 - open TermC; atomt; 1.8 + open TermC; 1.9 open Rule; 1.10 open Rule_Set; Sequence; 1.11 open Eval_Def