src/HOLCF/IOA/meta_theory/IOA.thy
changeset 40774 0437dbc127b3
parent 40773 6c12f5e24e34
child 40775 ed7a4eadb2f6
     1.1 --- a/src/HOLCF/IOA/meta_theory/IOA.thy	Sat Nov 27 14:34:54 2010 -0800
     1.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.3 @@ -1,11 +0,0 @@
     1.4 -(*  Title:      HOLCF/IOA/meta_theory/IOA.thy
     1.5 -    Author:     Olaf Müller
     1.6 -*)
     1.7 -
     1.8 -header {* The theory of I/O automata in HOLCF *}
     1.9 -
    1.10 -theory IOA
    1.11 -imports SimCorrectness Compositionality Deadlock
    1.12 -begin
    1.13 -
    1.14 -end