1 (* Title: HOLCF/IOA/NTP/ROOT.ML
2 ID: $Id$
3 Author: Tobias Nipkow & Konrad Slind
4
5 This is the ROOT file for a network transmission protocol (NTP
6 subdirectory), performed in the I/O automata formalization by Olaf
7 Mueller.
8 *)
9
10 use_thy "Correctness";