equal
deleted
inserted
replaced
1 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> |
1 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> |
2 |
2 |
3 <HTML><HEAD><TITLE>HOLCF/IOA/README</TITLE></HEAD><BODY> |
3 <!-- $Id --> |
4 |
4 |
5 <H3>IOA: A basic formalization of I/O automata in HOL</H3> |
5 <html> |
6 |
6 |
7 Author: Konrad Slind, Tobias Nipkow and Olaf Müller<BR> |
7 <head> |
8 Copyright 1995,1996 Technische Universität München<P> |
8 <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1"> |
|
9 <title>HOLCF/IOA/README</title> |
|
10 </head> |
|
11 |
|
12 <body> |
|
13 |
|
14 <h3>IOA: A basic formalization of I/O automata in HOL</h3> |
|
15 |
|
16 Author: Konrad Slind, Tobias Nipkow and Olaf Müller<br> |
|
17 Copyright 1995,1996 Technische Universität München |
|
18 |
|
19 <p> |
9 |
20 |
10 This directory contains a formalization of the meta theory of I/O automata in HOL. |
21 This directory contains a formalization of the meta theory of I/O automata in HOL. |
11 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 |
22 This formalization has been significantly changed and extended. The new version |
12 have been here. |
23 is available in the subdirectory HOLCF/IOA. There are also the proofs of two |
|
24 communication protocols which formerly have been here. |
13 |
25 |
14 |
26 </body> |
15 </BODY></HTML> |
27 </html> |
16 |
|
17 |
|
18 |
|