src/HOL/HOLCF/IOA/meta_theory/IOA.thy
author wenzelm
Sun Nov 02 17:16:01 2014 +0100 (2014-11-02)
changeset 58880 0baae4311a9f
parent 42151 4da4fc77664b
child 62002 f1599e98c4d0
permissions -rw-r--r--
modernized header;
wenzelm@42151
     1
(*  Title:      HOL/HOLCF/IOA/meta_theory/IOA.thy
wenzelm@40945
     2
    Author:     Olaf Müller
wenzelm@17233
     3
*)
mueller@3071
     4
wenzelm@58880
     5
section {* The theory of I/O automata in HOLCF *}
wenzelm@17233
     6
wenzelm@17233
     7
theory IOA
wenzelm@17233
     8
imports SimCorrectness Compositionality Deadlock
wenzelm@17233
     9
begin
wenzelm@17233
    10
wenzelm@17233
    11
end