isabelle: src/HOLCF/IOA/meta_theory/IOA.thy@64f075872f69 (annotated)

3071 981258186b71 New meta theory for IOA based on HOLCF. mueller parents: diff changeset	1	(* Title: HOLCF/IOA/meta_theory/IOA.thy
3275 3f53f2c876f4 changes for release 94-8 mueller parents: 3071 diff changeset	2	ID: $Id$
3071 981258186b71 New meta theory for IOA based on HOLCF. mueller parents: diff changeset	3	Author: Olaf Mueller
981258186b71 New meta theory for IOA based on HOLCF. mueller parents: diff changeset	4	Copyright 1996,1997 TU Muenchen
981258186b71 New meta theory for IOA based on HOLCF. mueller parents: diff changeset	5
981258186b71 New meta theory for IOA based on HOLCF. mueller parents: diff changeset	6	The theory of I/O automata in HOLCF.
981258186b71 New meta theory for IOA based on HOLCF. mueller parents: diff changeset	7	*)
981258186b71 New meta theory for IOA based on HOLCF. mueller parents: diff changeset	8
981258186b71 New meta theory for IOA based on HOLCF. mueller parents: diff changeset	9
981258186b71 New meta theory for IOA based on HOLCF. mueller parents: diff changeset	10
4816 64f075872f69 simplification of explicit theory usage and merges oheimb parents: 4565 diff changeset	11	IOA = SimCorrectness + Compositionality + Deadlock
3071 981258186b71 New meta theory for IOA based on HOLCF. mueller parents: diff changeset	12
981258186b71 New meta theory for IOA based on HOLCF. mueller parents: diff changeset	13