| changeset 7143 | 9c02848c5404 |
| parent 7038 | e01513f1390a |
| child 8490 | 6e0f23304061 |
--- a/src/HOL/Main.thy Mon Aug 02 11:24:01 1999 +0200 +++ b/src/HOL/Main.thy Mon Aug 02 11:24:30 1999 +0200 @@ -1,4 +1,5 @@ (*theory Main includes everything*) -Main = NatBin + Map + Recdef + Record + RelPow + Sexp + String + Calculation +Main = NatBin + Map + Recdef + Record + RelPow + Sexp + String + Calculation + + SVC_Oracle