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.
more global theories;
authorwenzelm
Thu, 20 Apr 2017 17:50:31 +0200
changeset 65527 0d8a7013bf36
parent 65526 41dda3a292e6
child 65528 d15d302da7f0
more global theories;
src/FOLP/ROOT file | annotate | diff | comparison | revisions
src/ZF/ROOT file | annotate | diff | comparison | revisions 
--- a/src/FOLP/ROOT	Thu Apr 20 17:45:42 2017 +0200
+++ b/src/FOLP/ROOT	Thu Apr 20 17:50:31 2017 +0200
@@ -10,7 +10,9 @@
     Presence of unknown proof term means that matching does not behave as expected.
   *}
   options [document = false]
-  theories FOLP
+  theories
+    IFOLP (global)
+    FOLP (global)
 
 session "FOLP-ex" in ex = FOLP +
   description {*
--- a/src/ZF/ROOT	Thu Apr 20 17:45:42 2017 +0200
+++ b/src/ZF/ROOT	Thu Apr 20 17:50:31 2017 +0200
@@ -43,7 +43,8 @@
     (North-Holland, 1980)
   *}
   theories
-    ZFC
+    ZF (global)
+    ZFC (global)
   document_files "root.tex"
 
 session "ZF-AC" (ZF) in AC = ZF +
isabelle