ROOT 385 Bytes
Newer Older
1
session "Example-Submission"! (AFP) in "." = HOL +
2
  options [timeout = 3600]
3
4
5
6
7
8
9
10
11
12
13
14
  theories
    Submission
(* FIXME *)
(* to suppress document generation of some theories, use:
no_document use_thys ["This_Theory1", "This_Theory2"];
*)
(* for normal theory loading, use:
use_thys ["That_Theory1", "That_Theory2", "That_Theory3"];
*)
  files
    "document/root.bib"
    "document/root.tex"