# HG changeset patch
# User paulson
# Date 933585870 -7200
# Node ID 9c02848c5404edf7445765c14ab25e2c3693e946
# Parent  89e0ff71d1136cdfb9639a6a561635d644c3374b
the SVC link-up

diff -r 89e0ff71d113 -r 9c02848c5404 src/HOL/Main.thy
--- 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