isabelle: src/HOLCF/IOA/README.html@e15040ae75d7 (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	<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>
7219facb3fd0 HTML 4.01 Transitional conformity webertj parents: 15283 diff changeset	9
7219facb3fd0 HTML 4.01 Transitional conformity webertj parents: 15283 diff changeset	10	<BODY>
3071 981258186b71 New meta theory for IOA based on HOLCF. mueller parents: diff changeset	11
981258186b71 New meta theory for IOA based on HOLCF. mueller parents: diff changeset	12	<H3>IOA: A formalization of I/O automata in HOLCF</H3>
981258186b71 New meta theory for IOA based on HOLCF. mueller parents: diff changeset	13
3279 815ef5848324 tuned all READMEs; wenzelm parents: 3071 diff changeset	14	Author: Olaf Müller<BR>
3071 981258186b71 New meta theory for IOA based on HOLCF. mueller parents: diff changeset	15	Copyright 1997 Technische Universität München<P>
981258186b71 New meta theory for IOA based on HOLCF. mueller parents: diff changeset	16
5843 136a51f95c91 changed to a link; mueller parents: 5138 diff changeset	17	The distribution contains simulation relations, temporal logic, and an abstraction theory.
136a51f95c91 changed to a link; mueller parents: 5138 diff changeset	18	Everything is based upon a domain-theoretic model of finite and infinite sequences.
136a51f95c91 changed to a link; mueller parents: 5138 diff changeset	19	<p>
5844 2886310fb5e9 tiny changes; mueller parents: 5843 diff changeset	20	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	21
981258186b71 New meta theory for IOA based on HOLCF. mueller parents: diff changeset	22	</BODY></HTML>
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

author	huffman
	Wed, 17 Feb 2010 10:00:22 -0800
changeset 35174	e15040ae75d7
parent 15582	7219facb3fd0
permissions	-rw-r--r--