src/ZF/ROOT

   *}
   options [document_graph]
   theories
     Main
     Main_ZFC
-  files "document/root.tex"
+  document_files "root.tex"
 
 session "ZF-AC" in AC = ZF +
   description {*
     Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
     Copyright   1995  University of Cambridge

     WO2_AC16
     AC16_WO4
     AC17_AC1
     AC18_AC19
     DC
-  files "document/root.tex" "document/root.bib"
+  document_files "root.tex" "root.bib"
 
 session "ZF-Coind" in Coind = ZF +
   description {*
     Author:     Jacob Frost, Cambridge University Computer Laboratory
     Copyright   1995  University of Cambridge

     A paper describing this development is
     http://www.cl.cam.ac.uk/TechReports/UCAM-CL-TR-551.pdf
   *}
   options [document_graph]
   theories DPow_absolute AC_in_L Rank_Separation
-  files "document/root.tex" "document/root.bib"
+  document_files "root.tex" "root.bib"
 
 session "ZF-IMP" in IMP = ZF +
   description {*
     Author:     Heiko Loetzbeyer & Robert Sandner, TUM
     Copyright   1994 TUM

     Glynn Winskel. The Formal Semantics of Programming Languages.
     MIT Press, 1993.
   *}
   options [document = false]
   theories Equiv
-  files "document/root.tex" "document/root.bib"
+  document_files "root.tex" "root.bib"
 
 session "ZF-Induct" in Induct = ZF +
   description {*
     Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
     Copyright   2001  University of Cambridge

     ListN
     Acc
 
     Comb            (*Combinatory Logic example*)
     Primrec         (*Primitive recursive functions*)
-  files "document/root.tex"
+  document_files "root.tex"
 
 session "ZF-Resid" in Resid = ZF +
   description {*
     Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
     Copyright   1995  University of Cambridge