src/HOL/ROOT
changeset 56454 e9e82384e5a1
parent 56215 fcf90317383d
child 56676 015f9e5e4fae
--- 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