isabelle: src/HOL/HOLCF/IOA/IOA.thy@8f866fd6fae1 (annotated)

62008 cbedaddc9351 clarified directory structure; wenzelm parents: 62002 diff changeset	1	(* Title: HOL/HOLCF/IOA/IOA.thy
40945 b8703f63bfb2 recoded latin1 as utf8; wenzelm parents: 40774 diff changeset	2	Author: Olaf Müller
17233 41eee2e7b465 converted specifications to Isar theories; wenzelm parents: 14981 diff changeset	3	*)
3071 981258186b71 New meta theory for IOA based on HOLCF. mueller parents: diff changeset	4
62002 f1599e98c4d0 isabelle update_cartouches -c -t; wenzelm parents: 58880 diff changeset	5	section \<open>The theory of I/O automata in HOLCF\<close>
17233 41eee2e7b465 converted specifications to Isar theories; wenzelm parents: 14981 diff changeset	6
41eee2e7b465 converted specifications to Isar theories; wenzelm parents: 14981 diff changeset	7	theory IOA
41eee2e7b465 converted specifications to Isar theories; wenzelm parents: 14981 diff changeset	8	imports SimCorrectness Compositionality Deadlock
41eee2e7b465 converted specifications to Isar theories; wenzelm parents: 14981 diff changeset	9	begin
41eee2e7b465 converted specifications to Isar theories; wenzelm parents: 14981 diff changeset	10
41eee2e7b465 converted specifications to Isar theories; wenzelm parents: 14981 diff changeset	11	end