# HG changeset patch # User wenzelm # Date 1509391579 -3600 # Node ID 1a5e90026391931a80ed448e5dd88be653f726f8 # Parent 6c5e4ac0398b7d264e937a6904db33b0d465a8bb recovered document from 9bfb6978eb80; diff -r 6c5e4ac0398b -r 1a5e90026391 src/HOL/ROOT --- a/src/HOL/ROOT Mon Oct 30 20:12:10 2017 +0100 +++ b/src/HOL/ROOT Mon Oct 30 20:26:19 2017 +0100 @@ -962,7 +962,10 @@ "HOL-IMP" theories HoareEx - document_files "root.tex" + document_files + "isaverbatimwrite.sty" + "root.tex" + "root.bib" session "HOLCF-ex" in "HOLCF/ex" = "HOLCF-Library" + description {*