diff -r 6c12f5e24e34 -r 0437dbc127b3 src/HOLCF/IOA/README.html
--- a/src/HOLCF/IOA/README.html Sat Nov 27 14:34:54 2010 -0800
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,24 +0,0 @@
-
-
-
-
-
-
- HOLCF/IOA/README
-
-
-
-
-IOA: A formalization of I/O automata in HOLCF
-
-Author: Olaf Müller
-Copyright 1997 Technische Universität München
-
-The distribution contains simulation relations, temporal logic, and an abstraction theory.
-Everything is based upon a domain-theoretic model of finite and infinite sequences.
-
-For details see the IOA project.
-
-
-
-