--- a/src/Provers/classical.ML Wed Apr 13 18:45:38 2005 +0200 +++ b/src/Provers/classical.ML Wed Apr 13 18:45:52 2005 +0200 @@ -1172,3 +1172,4 @@ end; +