- Proofs are now hidden by default when generating documents
- New syntax for referring to theorems in lists
- Improvements to theory loader (relative and absolute paths)
(* Title: HOL/IOA/examples/NTP/ROOT.ML
ID: $Id$
Author: Tobias Nipkow & Konrad Slind
This is the ROOT file for a network transmission protocol (NTP
subdirectory), performed in the I/O automata formalization by Olaf
Müller.
*)
goals_limit := 1;
time_use_thy "Correctness";