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.
proper document_theories;
authorwenzelm
Sat, 14 Nov 2020 12:57:28 +0100
changeset 72601 110bfed4815d
parent 72600 2fa4f25d9d07
child 72602 b040c9e67285
proper document_theories;
src/HOL/ROOT file | annotate | diff | comparison | revisions 
--- a/src/HOL/ROOT	Sat Nov 14 12:55:05 2020 +0100
+++ b/src/HOL/ROOT	Sat Nov 14 12:57:28 2020 +0100
@@ -959,6 +959,8 @@
     VC_Principles
     Reference
     Complex_Types
+  document_theories
+    "HOL-SPARK-Examples.Greatest_Common_Divisor"
   document_files
     "complex_types.ads"
     "complex_types_app.adb"
isabelle