1.1 --- a/src/Tools/isac/Specify/pre-conditions.sml	Fri Oct 07 20:46:48 2022 +0200
     1.2 +++ b/src/Tools/isac/Specify/pre-conditions.sml	Sat Oct 08 11:40:48 2022 +0200
     1.3 @@ -25,7 +25,6 @@
     1.4  (*type unchecked = term list*)
     1.5  (*type checked = Pre_Conds_Def.T;*)
     1.6  type T = Pre_Conds_Def.T;  (*= (bool * term) list;*)
     1.7 -(**)
     1.8  type input = string list;
     1.9  
    1.10  fun to_str (b, t) = pair2str (bool2str b, UnparseC.term t);