isabelle: src/HOL/IOA/README.html@c9e39eafc7a0 (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	<!-- $Id -->
7219facb3fd0 HTML 4.01 Transitional conformity webertj parents: 15283 diff changeset	4
7219facb3fd0 HTML 4.01 Transitional conformity webertj parents: 15283 diff changeset	5	<html>
7219facb3fd0 HTML 4.01 Transitional conformity webertj parents: 15283 diff changeset	6
7219facb3fd0 HTML 4.01 Transitional conformity webertj parents: 15283 diff changeset	7	<head>
7219facb3fd0 HTML 4.01 Transitional conformity webertj parents: 15283 diff changeset	8	<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
7219facb3fd0 HTML 4.01 Transitional conformity webertj parents: 15283 diff changeset	9	<title>HOLCF/IOA/README</title>
7219facb3fd0 HTML 4.01 Transitional conformity webertj parents: 15283 diff changeset	10	</head>
3220 47d2cf09b3d8 readme added mueller parents: 3078 diff changeset	11
15582 7219facb3fd0 HTML 4.01 Transitional conformity webertj parents: 15283 diff changeset	12	<body>
7219facb3fd0 HTML 4.01 Transitional conformity webertj parents: 15283 diff changeset	13
7219facb3fd0 HTML 4.01 Transitional conformity webertj parents: 15283 diff changeset	14	<h3>IOA: A basic formalization of I/O automata in HOL</h3>
3220 47d2cf09b3d8 readme added mueller parents: 3078 diff changeset	15
15582 7219facb3fd0 HTML 4.01 Transitional conformity webertj parents: 15283 diff changeset	16	Author: Konrad Slind, Tobias Nipkow and Olaf Müller<br>
7219facb3fd0 HTML 4.01 Transitional conformity webertj parents: 15283 diff changeset	17	Copyright 1995,1996 Technische Universität München
7219facb3fd0 HTML 4.01 Transitional conformity webertj parents: 15283 diff changeset	18
7219facb3fd0 HTML 4.01 Transitional conformity webertj parents: 15283 diff changeset	19	<p>
3220 47d2cf09b3d8 readme added mueller parents: 3078 diff changeset	20
47d2cf09b3d8 readme added mueller parents: 3078 diff changeset	21	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	22	This formalization has been significantly changed and extended. The new version
7219facb3fd0 HTML 4.01 Transitional conformity webertj parents: 15283 diff changeset	23	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	24	communication protocols which formerly have been here.
3220 47d2cf09b3d8 readme added mueller parents: 3078 diff changeset	25
15582 7219facb3fd0 HTML 4.01 Transitional conformity webertj parents: 15283 diff changeset	26	</body>
7219facb3fd0 HTML 4.01 Transitional conformity webertj parents: 15283 diff changeset	27	</html>

author	haftmann
	Fri, 07 Dec 2007 15:07:59 +0100
changeset 25571	c9e39eafc7a0
parent 15582	7219facb3fd0
child 36862	952b2b102a0a
permissions	-rw-r--r--