author | wenzelm |
Tue, 16 Dec 1997 17:58:03 +0100 | |
changeset 4423 | a129b817b58a |
parent 3073 | 88366253a09a |
child 6217 | 9dac1ee185e3 |
permissions | -rw-r--r-- |
(* Title: HOL/IOA/examples/NTP/ROOT.ML ID: $Id$ Author: Tobias Nipkow & Konrad Slind Copyright 1994 TU Muenchen This is the ROOT file for a network transmission protocol (NTP subdirectory), performed in the I/O automata formalization by Olaf Mueller. *) goals_limit := 1; loadpath:=["."]; use_thy "Correctness";