1(* 2 * Copyright 2014, NICTA 3 * 4 * This software may be distributed and modified according to the terms of 5 * the BSD 2-Clause license. Note that NO WARRANTY is provided. 6 * See "LICENSE_BSD2.txt" for details. 7 * 8 * @TAG(NICTA_BSD) 9 *) 10 11session "AutoCorresQuickstart" = "AutoCorres" + 12 options [document = pdf, document_output = output, show_question_marks = false] 13 theories 14 Chapter1_MinMax 15 Chapter2_HoareHeap 16 Chapter3_HoareHeap 17 document_files 18 "root.tex" 19 "root.bib" 20 "comment.sty" 21 "ulem.sty" 22