chapter AFP
session Auto2_HOL = HOL +
description \<open>
Instantiation of Auto2 for Isabelle/HOL.
\<close>
options [timeout = 600]
sessions
"HOL-Library"
directories
"HOL"
theories [document = false]
(* Core setup tests *)
"HOL/Auto2_Test"
theories
(* Simple examples *)
"HOL/Pelletier"
"HOL/Primes_Ex"
document_files
"root.tex"
"root.bib"
¤ Dauer der Verarbeitung: 0.1 Sekunden
¤
*© Formatika GbR, Deutschland
