| changeset 3279 | 815ef5848324 |
| parent 3249 | e92d1cfbc55d |
| child 15283 | f21466450330 |
--- a/src/HOL/IOA/README.html Wed May 21 17:11:46 1997 +0200 +++ b/src/HOL/IOA/README.html Wed May 21 17:13:00 1997 +0200 @@ -1,4 +1,4 @@ -<HTML><HEAD><TITLE>HOLCF/ReadMe</TITLE></HEAD><BODY> +<HTML><HEAD><TITLE>HOLCF/IOA/README</TITLE></HEAD><BODY> <H3>IOA: A basic formalization of I/O automata in HOL</H3>