1.1 --- a/test/Tools/isac/ProgLang/tools.sml	Mon Sep 16 20:40:33 2019 +0200
     1.2 +++ b/test/Tools/isac/ProgLang/tools.sml	Tue Sep 17 09:01:03 2019 +0200
     1.3 @@ -28,7 +28,7 @@
     1.4  "----------- fun or2list: HOL.disj HOL.eq HOL.True HOL.False etc -";
     1.5  "----------- fun or2list: HOL.disj HOL.eq HOL.True HOL.False etc -";
     1.6  "see: --------- search for Or_to_List ---";
     1.7 -case or2list @{term True} of Const ("TermC.UniversalList", _) => ()
     1.8 +case or2list @{term True} of Const ("ListC.UniversalList", _) => ()
     1.9    | _ => error "TermC.UniversalList changed";
    1.10  case or2list @{term False} of Const ("List.list.Nil", _) => ()
    1.11    | _ => error "TermC.UniversalList changed";

     2.1 --- a/test/Tools/isac/Test_Isac_Short.thy	Mon Sep 16 20:40:33 2019 +0200
     2.2 +++ b/test/Tools/isac/Test_Isac_Short.thy	Tue Sep 17 09:01:03 2019 +0200
     2.3 @@ -241,8 +241,8 @@
     2.4    ML_file "Knowledge/vect.sml"
     2.5    ML_file "Knowledge/diffapp.sml"        (* postponed to dev. specification | TP-prog. *)
     2.6    ML_file "Knowledge/biegelinie-1.sml"
     2.7 -(*ML_file "Knowledge/biegelinie-2.sml"                         exception Size---Test_Isac_Short*)
     2.8 -  ML_file "Knowledge/biegelinie-3.sml"     (* exception Size raised "./basis/LibrarySupport.sml"*)
     2.9 +(*ML_file "Knowledge/biegelinie-2.sml"        TODO             exception Size---Test_Isac_Short*)
    2.10 +  ML_file "Knowledge/biegelinie-3.sml"     (* TODO             exception Size---Test_Isac_Short*)
    2.11    ML_file "Knowledge/algein.sml"
    2.12    ML_file "Knowledge/diophanteq.sml"
    2.13  (*ML_file "Knowledge/inverse_z_transform.sml"                  exception Size---Test_Isac_Short*)