src/FOLP/classical.ML
changeset 42799 4e33894aec6d
parent 42439 9efdd0af15ac
child 58957 c9e744ea8a38
     1.1 --- a/src/FOLP/classical.ML	Sat May 14 00:32:16 2011 +0200
     1.2 +++ b/src/FOLP/classical.ML	Sat May 14 11:42:43 2011 +0200
     1.3 @@ -60,7 +60,7 @@
     1.4    end;
     1.5  
     1.6  
     1.7 -functor ClassicalFun(Data: CLASSICAL_DATA): CLASSICAL = 
     1.8 +functor Classical(Data: CLASSICAL_DATA): CLASSICAL = 
     1.9  struct
    1.10  
    1.11  local open Data in