Commit 92373f99 authored by nipkow's avatar nipkow
Browse files

tuned

parent 068fd59d726f
chapter AFP
(* There must be one session with the name of the entry.
This session generates the web document and must test all theories.
There may be further sessions but they will not be run by the automatic
regression tests.
*)
(* Session name, add to AFP group, list base session: *)
session "Example-Submission" (AFP) = HOL +
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment