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;
     1 (*  Title:      HOL/HOLCF/IOA/meta_theory/IOA.thy
     2     Author:     Olaf Müller
     3 *)
     4 
     5 section {* The theory of I/O automata in HOLCF *}
     6 
     7 theory IOA
     8 imports SimCorrectness Compositionality Deadlock
     9 begin
    10 
    11 end