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