changed comment only;
authorwenzelm
Wed Jul 06 11:36:00 1994 +0200 (1994-07-06)
changeset 447d1f827fa0a18
parent 446 3ee5c9314efe
child 448 d7ff85d292c7
changed comment only;
src/Pure/logic.ML
     1.1 --- a/src/Pure/logic.ML	Fri Jul 01 11:10:31 1994 +0200
     1.2 +++ b/src/Pure/logic.ML	Wed Jul 06 11:36:00 1994 +0200
     1.3 @@ -141,7 +141,7 @@
     1.4  fun dest_type (Const ("TYPE", Type ("itself", [ty]))) = ty
     1.5    | dest_type t = raise TERM ("dest_type", [t]);
     1.6  
     1.7 -(* class constraints: (| ty : c_class |) *)
     1.8 +(** class constraints **)
     1.9  
    1.10  fun mk_inclass (ty, c) =
    1.11    Const (Sign.const_of_class c, itselfT ty --> propT) $ mk_type ty;