| changeset 62008 | cbedaddc9351 |
| parent 62007 | 3f8b97ceedb2 |
| child 62009 | ecb5212d5885 |
--- a/src/HOL/HOLCF/IOA/meta_theory/IOA.thy Thu Dec 31 12:37:16 2015 +0100 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,11 +0,0 @@ -(* Title: HOL/HOLCF/IOA/meta_theory/IOA.thy - Author: Olaf Müller -*) - -section \<open>The theory of I/O automata in HOLCF\<close> - -theory IOA -imports SimCorrectness Compositionality Deadlock -begin - -end