src/HOL/ROOT
changeset 55601 b7f4da504b75
parent 55596 928b9f677165
child 55663 12448c179851
     1.1 --- a/src/HOL/ROOT	Wed Feb 19 22:05:15 2014 +0100
     1.2 +++ b/src/HOL/ROOT	Wed Feb 19 22:08:47 2014 +0100
     1.3 @@ -111,7 +111,7 @@
     1.4  session "HOL-IMP" in IMP = HOL +
     1.5    options [document_graph, document_variants=document]
     1.6    theories [document = false]
     1.7 -    "~~/src/HOL/ex/Interpretation_with_Defs"
     1.8 +    "~~/src/Tools/Permanent_Interpretation"
     1.9      "~~/src/HOL/Library/While_Combinator"
    1.10      "~~/src/HOL/Library/Char_ord"
    1.11      "~~/src/HOL/Library/List_lexord"