--- a/src/Pure/basis.ML Thu Apr 24 19:41:00 1997 +0200 +++ b/src/Pure/basis.ML Thu Apr 24 19:46:05 1997 +0200 @@ -34,6 +34,8 @@ | valOf NONE = raise Option end; +open General; + structure Int = struct