changeset 42799 | 4e33894aec6d |
parent 42798 | 02c88bdabe75 |
child 42807 | e639d91d9073 |
--- a/src/Provers/classical.ML Sat May 14 00:32:16 2011 +0200 +++ b/src/Provers/classical.ML Sat May 14 11:42:43 2011 +0200 @@ -131,7 +131,7 @@ end; -functor ClassicalFun(Data: CLASSICAL_DATA): CLASSICAL = +functor Classical(Data: CLASSICAL_DATA): CLASSICAL = struct (** classical elimination rules **)