changeset 12218 | 6597093b77e7 |
parent 9000 | c20d58286a51 |
child 14981 | e73f8140af78 |
--- a/src/HOLCF/IOA/ABP/ROOT.ML Thu Nov 15 23:25:01 2001 +0100 +++ b/src/HOLCF/IOA/ABP/ROOT.ML Thu Nov 15 23:25:46 2001 +0100 @@ -1,11 +1,10 @@ (* Title: HOL/IOA/ABP/ROOT.ML ID: $Id$ - Author: Olaf Mueller - Copyright 1995 TU Muenchen + Author: Olaf Müller + License: GPL (GNU GENERAL PUBLIC LICENSE) This is the ROOT file for the Alternating Bit Protocol performed in -I/O-Automata. -*) +I/O-Automata. *) goals_limit := 1;