1.1 --- a/test/Tools/isac/Specify/input-descript.sml	Mon Jul 19 15:34:54 2021 +0200
     1.2 +++ b/test/Tools/isac/Specify/input-descript.sml	Mon Jul 19 17:29:35 2021 +0200
     1.3 @@ -15,7 +15,7 @@
     1.4  "-------- distinguish input to I_Model --------------------------------------------------------";
     1.5  "-------- distinguish input to I_Model --------------------------------------------------------";
     1.6  "----- fun Input_Descript.for_bool_list -----";
     1.7 -val t as Const ("Input_Descript.relations", 
     1.8 +val t as Const (\<^const_name>\<open>Input_Descript.relations\<close>, 
     1.9    Type (\<^type_name>\<open>fun\<close>, [Type (\<^type_name>\<open>list\<close>, [Type (\<^type_name>\<open>bool\<close>,[])]), 
    1.10      Type ("Input_Descript.una", [])])) = @{term "relations"};
    1.11  atomtyp (type_of t);