src/Pure/drule.ML
changeset 210 49497bdf573e
parent 199 ac55692ab41f
child 211 7ab45715c0a6
     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;