src/HOL/ROOT

--- a/src/HOL/ROOT	Tue Apr 08 17:49:03 2014 +0200
+++ b/src/HOL/ROOT	Tue Apr 08 18:06:21 2014 +0200
@@ -720,6 +720,7 @@
   *}
   options [document = false]
   theories
+    Compat
     Lambda_Term
     Process
     TreeFsetI