recovered document from 9bfb6978eb80;
authorwenzelm
Mon Oct 30 20:26:19 2017 +0100 (19 months ago)
changeset 669501a5e90026391
parent 66949 6c5e4ac0398b
child 66951 dd4710b91277
recovered document from 9bfb6978eb80;
src/HOL/ROOT
     1.1 --- a/src/HOL/ROOT	Mon Oct 30 20:12:10 2017 +0100
     1.2 +++ b/src/HOL/ROOT	Mon Oct 30 20:26:19 2017 +0100
     1.3 @@ -962,7 +962,10 @@
     1.4      "HOL-IMP"
     1.5    theories
     1.6      HoareEx
     1.7 -  document_files "root.tex"
     1.8 +  document_files
     1.9 +    "isaverbatimwrite.sty"
    1.10 +    "root.tex"
    1.11 +    "root.bib"
    1.12  
    1.13  session "HOLCF-ex" in "HOLCF/ex" = "HOLCF-Library" +
    1.14    description {*