fun prep_draft path i =

     fun prep_draft path i =

       let

       let

         val base = Path.base path;

         val base = Path.base path;

         val name =

         val name =

           (case Path.implode (#1 (Path.split_ext base)) of

           (case Path.implode (#1 (Path.split_ext base)) of

       in

       in

         if File.exists path then

         if File.exists path then

           (((name, base, File.read path), (i, Latex.theory_entry name)), i + 1)

           (((name, base, File.read path), (i, Latex.theory_entry name)), i + 1)

         else error ("Bad file: " ^ Path.print path)

         else error ("Bad file: " ^ Path.print path)

       end;

       end;