Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
the SVC link-up
authorpaulson
Mon, 02 Aug 1999 11:24:30 +0200
changeset 7143 9c02848c5404
parent 7142 89e0ff71d113
child 7144 0feee8201d67
the SVC link-up
src/HOL/Main.thy file | annotate | diff | comparison | revisions 
--- 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
isabelle