# HG changeset patch
# User nipkow
# Date 1629922215 -7200
# Node ID 2b00c267196e253e19d6ae1ea3fc8de5ec75d2d9
# Parent  852df4f1dbfa307b51767a47b020bcbe50c02c18
reflect moved theories

diff -r 852df4f1dbfa -r 2b00c267196e src/HOL/ROOT
--- a/src/HOL/ROOT	Wed Aug 25 21:46:34 2021 +0200
+++ b/src/HOL/ROOT	Wed Aug 25 22:10:15 2021 +0200
@@ -28,6 +28,7 @@
     Coherent
     Commands
     Drinker
+    Functions
     Groebner_Examples
     Iff_Oracle
     Induction_Schema
@@ -665,7 +666,6 @@
     Eval_Examples
     Executable_Relation
     Execute_Choice
-    Functions
     Function_Growth
     Gauge_Integration
     Guess