# HG changeset patch
# User wenzelm
# Date 1605355048 -3600
# Node ID 110bfed4815d2bddf2b11cfb907c4b8beb790d6f
# Parent  2fa4f25d9d077110e365e3f2f450f2c7b74fd708
proper document_theories;

diff -r 2fa4f25d9d07 -r 110bfed4815d src/HOL/ROOT
--- 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"