diff -r f4c82c165f58 -r 2aea76fe9c73 src/HOL/IOA/README.html
--- a/src/HOL/IOA/README.html Tue Mar 12 19:55:17 2013 +0100
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,25 +0,0 @@
-
-
-
-
-
-
- HOLCF/IOA/README
-
-
-
-
-IOA: A basic formalization of I/O automata in HOL
-
-Author: Konrad Slind, Tobias Nipkow and Olaf Müller
-Copyright 1995,1996 Technische Universität München
-
-
-
-This directory contains a formalization of the meta theory of I/O automata in HOL.
-This formalization has been significantly changed and extended. The new version
-is available in the subdirectory HOLCF/IOA. There are also the proofs of two
-communication protocols which formerly have been here.
-
-
-