--- 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";