src/Pure/net.ML
changeset 1500 b2de3b3277b8
parent 1460 5a6f2aabd538
child 2226 f3c6a22681b1
     1.1 --- a/src/Pure/net.ML	Fri Feb 16 12:08:49 1996 +0100
     1.2 +++ b/src/Pure/net.ML	Fri Feb 16 12:19:47 1996 +0100
     1.3 @@ -31,7 +31,7 @@
     1.4    end;
     1.5  
     1.6  
     1.7 -functor NetFun () : NET = 
     1.8 +structure Net : NET = 
     1.9  struct
    1.10  
    1.11  datatype key = CombK | VarK | AtomK of string;