isabelle: src/HOL/IOA/README.html@709c04e7b703 (annotated)

15283 f21466450330 DOCTYPE declaration added webertj parents: 3279 diff changeset	1	<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
f21466450330 DOCTYPE declaration added webertj parents: 3279 diff changeset	2
15582 7219facb3fd0 HTML 4.01 Transitional conformity webertj parents: 15283 diff changeset	3	<html>
7219facb3fd0 HTML 4.01 Transitional conformity webertj parents: 15283 diff changeset	4
7219facb3fd0 HTML 4.01 Transitional conformity webertj parents: 15283 diff changeset	5	<head>
7219facb3fd0 HTML 4.01 Transitional conformity webertj parents: 15283 diff changeset	6	<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
7219facb3fd0 HTML 4.01 Transitional conformity webertj parents: 15283 diff changeset	7	<title>HOLCF/IOA/README</title>
7219facb3fd0 HTML 4.01 Transitional conformity webertj parents: 15283 diff changeset	8	</head>
3220 47d2cf09b3d8 readme added mueller parents: 3078 diff changeset	9
15582 7219facb3fd0 HTML 4.01 Transitional conformity webertj parents: 15283 diff changeset	10	<body>
7219facb3fd0 HTML 4.01 Transitional conformity webertj parents: 15283 diff changeset	11
7219facb3fd0 HTML 4.01 Transitional conformity webertj parents: 15283 diff changeset	12	<h3>IOA: A basic formalization of I/O automata in HOL</h3>
3220 47d2cf09b3d8 readme added mueller parents: 3078 diff changeset	13
15582 7219facb3fd0 HTML 4.01 Transitional conformity webertj parents: 15283 diff changeset	14	Author: Konrad Slind, Tobias Nipkow and Olaf Müller<br>
7219facb3fd0 HTML 4.01 Transitional conformity webertj parents: 15283 diff changeset	15	Copyright 1995,1996 Technische Universität München
7219facb3fd0 HTML 4.01 Transitional conformity webertj parents: 15283 diff changeset	16
7219facb3fd0 HTML 4.01 Transitional conformity webertj parents: 15283 diff changeset	17	<p>
3220 47d2cf09b3d8 readme added mueller parents: 3078 diff changeset	18
47d2cf09b3d8 readme added mueller parents: 3078 diff changeset	19	This directory contains a formalization of the meta theory of I/O automata in HOL.
15582 7219facb3fd0 HTML 4.01 Transitional conformity webertj parents: 15283 diff changeset	20	This formalization has been significantly changed and extended. The new version
7219facb3fd0 HTML 4.01 Transitional conformity webertj parents: 15283 diff changeset	21	is available in the subdirectory HOLCF/IOA. There are also the proofs of two
7219facb3fd0 HTML 4.01 Transitional conformity webertj parents: 15283 diff changeset	22	communication protocols which formerly have been here.
3220 47d2cf09b3d8 readme added mueller parents: 3078 diff changeset	23
15582 7219facb3fd0 HTML 4.01 Transitional conformity webertj parents: 15283 diff changeset	24	</body>
7219facb3fd0 HTML 4.01 Transitional conformity webertj parents: 15283 diff changeset	25	</html>

author	bulwahn
	Fri, 11 Mar 2011 10:37:40 +0100
changeset 41910	709c04e7b703
parent 36862	952b2b102a0a
permissions	-rw-r--r--