--- a/src/FOLP/classical.ML Sat May 14 00:32:16 2011 +0200
+++ b/src/FOLP/classical.ML Sat May 14 11:42:43 2011 +0200
@@ -60,7 +60,7 @@
end;
-functor ClassicalFun(Data: CLASSICAL_DATA): CLASSICAL =
+functor Classical(Data: CLASSICAL_DATA): CLASSICAL =
struct
local open Data in