diff -r bb41d88f7df5 -r 6e0f23304061 src/HOL/Main.thy --- a/src/HOL/Main.thy Thu Mar 16 00:33:46 2000 +0100 +++ b/src/HOL/Main.thy Thu Mar 16 00:35:27 2000 +0100 @@ -1,5 +1,1 @@ - -(*theory Main includes everything*) - -Main = NatBin + Map + Recdef + Record + RelPow + Sexp + String + Calculation + - SVC_Oracle +Main = Map + String (*theory Main includes everything*)