isabelle: src/HOLCF/IOA/README.html@0ebcd575d3c6 (annotated)

15283 f21466450330 DOCTYPE declaration added webertj parents: 5844 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: 5844 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>
7219facb3fd0 HTML 4.01 Transitional conformity webertj parents: 15283 diff changeset	11
7219facb3fd0 HTML 4.01 Transitional conformity webertj parents: 15283 diff changeset	12	<BODY>
3071 981258186b71 New meta theory for IOA based on HOLCF. mueller parents: diff changeset	13
981258186b71 New meta theory for IOA based on HOLCF. mueller parents: diff changeset	14	<H3>IOA: A formalization of I/O automata in HOLCF</H3>
981258186b71 New meta theory for IOA based on HOLCF. mueller parents: diff changeset	15
3279 815ef5848324 tuned all READMEs; wenzelm parents: 3071 diff changeset	16	Author: Olaf Müller<BR>
3071 981258186b71 New meta theory for IOA based on HOLCF. mueller parents: diff changeset	17	Copyright 1997 Technische Universität München<P>
981258186b71 New meta theory for IOA based on HOLCF. mueller parents: diff changeset	18
5843 136a51f95c91 changed to a link; mueller parents: 5138 diff changeset	19	The distribution contains simulation relations, temporal logic, and an abstraction theory.
136a51f95c91 changed to a link; mueller parents: 5138 diff changeset	20	Everything is based upon a domain-theoretic model of finite and infinite sequences.
136a51f95c91 changed to a link; mueller parents: 5138 diff changeset	21	<p>
5844 2886310fb5e9 tiny changes; mueller parents: 5843 diff changeset	22	For details see the <A HREF="http://www4.informatik.tu-muenchen.de/~isabelle/IOA/">IOA project</a>.
3071 981258186b71 New meta theory for IOA based on HOLCF. mueller parents: diff changeset	23
981258186b71 New meta theory for IOA based on HOLCF. mueller parents: diff changeset	24	</BODY></HTML>
981258186b71 New meta theory for IOA based on HOLCF. mueller parents: diff changeset	25
981258186b71 New meta theory for IOA based on HOLCF. mueller parents: diff changeset	26

author	paulson
	Fri, 05 Oct 2007 09:59:03 +0200
changeset 24854	0ebcd575d3c6
parent 15582	7219facb3fd0
child 35174	e15040ae75d7
permissions	-rw-r--r--