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