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.
theory Main includes everything;
authorwenzelm
Fri, 03 Jul 1998 18:05:03 +0200
changeset 5126 01cbf154d926
parent 5125 463a0e9df5b5
child 5127 ef467e05da61
theory Main includes everything;
src/HOL/Main.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Main.thy	Fri Jul 03 17:36:45 1998 +0200
+++ b/src/HOL/Main.thy	Fri Jul 03 18:05:03 1998 +0200
@@ -1,2 +1,4 @@
 
-Main = Update + Map + Record + Bin + RelPow + Sexp + String
+(*theory Main includes everything*)
+
+Main = Update + Map + Record + Bin + RelPow + Sexp + String + Recdef
isabelle