isabelle: src/HOLCF/IOA/meta_theory/Deadlock.thy@35b9ed76b59a (annotated)

3433 2de17c994071 added deadlock freedom, polished definitions and proofs mueller parents: diff changeset	1	(* Title: HOLCF/IOA/meta_theory/Deadlock.thy
2de17c994071 added deadlock freedom, polished definitions and proofs mueller parents: diff changeset	2	ID: $Id$
12218 6597093b77e7 GPLed; wenzelm parents: 3521 diff changeset	3	Author: Olaf M�ller
17233 41eee2e7b465 converted specifications to Isar theories; wenzelm parents: 14981 diff changeset	4	*)
3433 2de17c994071 added deadlock freedom, polished definitions and proofs mueller parents: diff changeset	5
17233 41eee2e7b465 converted specifications to Isar theories; wenzelm parents: 14981 diff changeset	6	header {* Deadlock freedom of I/O Automata *}
3433 2de17c994071 added deadlock freedom, polished definitions and proofs mueller parents: diff changeset	7
17233 41eee2e7b465 converted specifications to Isar theories; wenzelm parents: 14981 diff changeset	8	theory Deadlock
41eee2e7b465 converted specifications to Isar theories; wenzelm parents: 14981 diff changeset	9	imports RefCorrectness CompoScheds
41eee2e7b465 converted specifications to Isar theories; wenzelm parents: 14981 diff changeset	10	begin
41eee2e7b465 converted specifications to Isar theories; wenzelm parents: 14981 diff changeset	11
41eee2e7b465 converted specifications to Isar theories; wenzelm parents: 14981 diff changeset	12	end