| 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;