src/Pure/logic.ML
changeset 1500 b2de3b3277b8
parent 1460 5a6f2aabd538
child 1835 07eee14f5bd4
     1.1 --- a/src/Pure/logic.ML	Fri Feb 16 12:08:49 1996 +0100
     1.2 +++ b/src/Pure/logic.ML	Fri Feb 16 12:19:47 1996 +0100
     1.3 @@ -49,12 +49,9 @@
     1.4    val varify		: term -> term  
     1.5    end;
     1.6  
     1.7 -functor LogicFun (structure Unify: UNIFY and Net:NET): LOGIC =
     1.8 +structure Logic : LOGIC =
     1.9  struct
    1.10  
    1.11 -structure Sign = Unify.Sign;
    1.12 -structure Type = Sign.Type;
    1.13 -
    1.14  (*** Abstract syntax operations on the meta-connectives ***)
    1.15  
    1.16  (** equality **)