src/Pure/drule.ML
changeset 210 49497bdf573e
parent 199 ac55692ab41f
child 211 7ab45715c0a6
--- a/src/Pure/drule.ML	Tue Jan 04 10:09:33 1994 +0100
+++ b/src/Pure/drule.ML	Tue Jan 04 15:48:38 1994 +0100
@@ -71,7 +71,7 @@
   end
   end;
 
-functor DruleFun (structure Logic: LOGIC and Thm: THM) : DRULE = 
+functor DruleFun (structure Logic: LOGIC and Thm: THM)(* : DRULE *) = (* FIXME *)
 struct
 structure Thm = Thm;
 structure Sign = Thm.Sign;