--- a/src/HOL/IsaMakefile Fri Jul 30 18:27:25 1999 +0200
+++ b/src/HOL/IsaMakefile Mon Aug 02 11:24:01 1999 +0200
@@ -56,12 +56,14 @@
Numeral.thy Option.ML Option.thy Ord.ML Ord.thy Power.ML Power.thy \
Prod.ML Prod.thy ROOT.ML Recdef.thy Record.thy RelPow.ML RelPow.thy \
Relation.ML Relation.thy Set.ML Set.thy Sexp.ML Sexp.thy String.thy \
+ SVC_Oracle.ML SVC_Oracle.thy \
Sum.ML Sum.thy Tools/datatype_aux.ML Tools/datatype_abs_proofs.ML \
Tools/datatype_package.ML Tools/datatype_prop.ML \
Tools/datatype_rep_proofs.ML Tools/induct_method.ML \
Tools/inductive_package.ML Tools/numeral_syntax.ML \
Tools/primrec_package.ML Tools/recdef_package.ML \
- Tools/record_package.ML Tools/typedef_package.ML Trancl.ML \
+ Tools/record_package.ML Tools/svc_funcs.ML \
+ Tools/typedef_package.ML Trancl.ML \
Trancl.thy Univ.ML Univ.thy Vimage.ML Vimage.thy WF.ML WF.thy \
WF_Rel.ML WF_Rel.thy cladata.ML equalities.ML equalities.thy \
hologic.ML mono.ML mono.thy simpdata.ML subset.ML subset.thy \