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