
diff -r cdf338ef5fad -r f362c0323d92 src/HOL/PreList.thy
--- a/src/HOL/PreList.thy	Tue Feb 05 15:51:28 2002 +0100
+++ b/src/HOL/PreList.thy	Tue Feb 05 23:18:08 2002 +0100
@@ -9,7 +9,7 @@
 
 theory PreList =
   Option + Wellfounded_Relations + NatSimprocs + Recdef + Record +
-  Relation_Power + SVC_Oracle:
+  Relation_Power:
 
 (*belongs to theory Divides*)
 declare dvdI [intro?]  dvdE [elim?]  dvd_trans [trans]




