commented out sig constraint of functor (for debugging purposes);
authorwenzelm
Tue Jan 04 15:48:38 1994 +0100 (1994-01-04)
changeset 21049497bdf573e
parent 209 feb8ff35810a
child 211 7ab45715c0a6
commented out sig constraint of functor (for debugging purposes);
src/Pure/drule.ML
src/Pure/logic.ML
     1.1 --- a/src/Pure/drule.ML	Tue Jan 04 10:09:33 1994 +0100
     1.2 +++ b/src/Pure/drule.ML	Tue Jan 04 15:48:38 1994 +0100
     1.3 @@ -71,7 +71,7 @@
     1.4    end
     1.5    end;
     1.6  
     1.7 -functor DruleFun (structure Logic: LOGIC and Thm: THM) : DRULE = 
     1.8 +functor DruleFun (structure Logic: LOGIC and Thm: THM)(* : DRULE *) = (* FIXME *)
     1.9  struct
    1.10  structure Thm = Thm;
    1.11  structure Sign = Thm.Sign;
     2.1 --- a/src/Pure/logic.ML	Tue Jan 04 10:09:33 1994 +0100
     2.2 +++ b/src/Pure/logic.ML	Tue Jan 04 15:48:38 1994 +0100
     2.3 @@ -43,7 +43,7 @@
     2.4    val varify: term -> term  
     2.5    end;
     2.6  
     2.7 -functor LogicFun (structure Unify: UNIFY and Net:NET) : LOGIC  = 
     2.8 +functor LogicFun (structure Unify: UNIFY and Net:NET)(* : LOGIC *) =  (* FIXME *)
     2.9  struct
    2.10  structure Type = Unify.Sign.Type;
    2.11