src/HOL/ROOT
changeset 51625 bd3358aac5d2
parent 51562 5fffa75d2432
child 52226 0d3165844048
--- a/src/HOL/ROOT	Fri Apr 05 15:13:25 2013 +0200
+++ b/src/HOL/ROOT	Fri Apr 05 18:31:35 2013 +0200
@@ -113,6 +113,8 @@
     "~~/src/HOL/Library/While_Combinator"
     "~~/src/HOL/Library/Char_ord"
     "~~/src/HOL/Library/List_lexord"
+    "~~/src/HOL/Library/Quotient_List"
+    "~~/src/HOL/Library/Extended"
   theories
     BExp
     ASM