changeset 61670 | 301e0b4ecd45 |
parent 61542 | b3eb789616c3 |
child 61745 | e23e0ff98657 |
--- a/src/HOL/ROOT Sat Nov 14 08:45:51 2015 +0100 +++ b/src/HOL/ROOT Sat Nov 14 08:45:52 2015 +0100 @@ -115,7 +115,6 @@ session "HOL-IMP" in IMP = HOL + options [document_variants = document] theories [document = false] - "~~/src/Tools/Permanent_Interpretation" "~~/src/HOL/Library/While_Combinator" "~~/src/HOL/Library/Char_ord" "~~/src/HOL/Library/List_lexord"