src/Pure/logic.ML
changeset 210 49497bdf573e
parent 64 0bbe5d86cb38
child 398 41f279b477e2
     1.1 --- a/src/Pure/logic.ML	Tue Jan 04 10:09:33 1994 +0100
     1.2 +++ b/src/Pure/logic.ML	Tue Jan 04 15:48:38 1994 +0100
     1.3 @@ -43,7 +43,7 @@
     1.4    val varify: term -> term  
     1.5    end;
     1.6  
     1.7 -functor LogicFun (structure Unify: UNIFY and Net:NET) : LOGIC  = 
     1.8 +functor LogicFun (structure Unify: UNIFY and Net:NET)(* : LOGIC *) =  (* FIXME *)
     1.9  struct
    1.10  structure Type = Unify.Sign.Type;
    1.11