# HG changeset patch
# User oheimb
# Date 884278808 -3600
# Node ID 21034b0907222bbe086b53170f8f3fa0d14bd781
# Parent  ff22e16c5f2ff746146d5805ffdc634218e876cc
removed obsolete comment

diff -r ff22e16c5f2f -r 21034b090722 src/HOL/IOA/ROOT.ML
--- a/src/HOL/IOA/ROOT.ML	Thu Jan 08 17:56:32 1998 +0100
+++ b/src/HOL/IOA/ROOT.ML	Thu Jan 08 18:00:08 1998 +0100
@@ -5,7 +5,6 @@
 
 This is the ROOT file for the meta theory of I/O-Automata.
 
-
 @inproceedings{Nipkow-Slind-IOA,
 author={Tobias Nipkow and Konrad Slind},
 title={{I/O} Automata in {Isabelle/HOL}},
@@ -24,8 +23,6 @@
 organization={Aarhus University, BRICS report},
 year=1995}
 ftp://ftp.informatik.tu-muenchen.de/local/lehrstuhl/nipkow/tacas.dvi.gz
-
-Should be executed in the subdirectory HOL/IOA/NTP.
 *)
 
 use_thy "Solve";