src/HOL/ROOT
changeset 55370 e6be866b5f5b
parent 55321 eadea363deb6
child 55417 01fbfb60c33e
     1.1 --- a/src/HOL/ROOT	Sun Feb 09 17:41:17 2014 +0100
     1.2 +++ b/src/HOL/ROOT	Sun Feb 09 17:47:23 2014 +0100
     1.3 @@ -184,6 +184,8 @@
     1.4    theories
     1.5      Pocklington
     1.6      Number_Theory
     1.7 +  files
     1.8 +    "document/root.tex"
     1.9  
    1.10  session "HOL-Old_Number_Theory" in Old_Number_Theory = HOL +
    1.11    description {*