src/Pure/logic.ML

       else map snd tvars;
   in (t, Ss, c) end;
 
 
 
-  (** protected propositions and embedded terms **)
+(** protected propositions and embedded terms **)
 
 val protectC = Const ("prop", propT --> propT);
 fun protect t = protectC $ t;
 
 fun unprotect (Const ("prop", _) $ t) = t