/src/HOLCF/IOA/meta_theory/
drwxr-xr-x [up]
-rw-r--r-- 2007-10-20 20:32 +0200 18563 Abstraction.thy
-rw-r--r-- 2007-10-20 20:32 +0200 2738 Asig.thy
-rw-r--r-- 2007-10-20 20:32 +0200 20931 Automata.thy
-rw-r--r-- 2007-10-20 20:32 +0200 9511 CompoExecs.thy
-rw-r--r-- 2007-10-20 20:32 +0200 18647 CompoScheds.thy
-rw-r--r-- 2007-10-20 20:32 +0200 30956 CompoTraces.thy
-rw-r--r-- 2007-10-20 20:32 +0200 2499 Compositionality.thy
-rw-r--r-- 2007-10-20 20:32 +0200 2573 Deadlock.thy
-rw-r--r-- 2007-10-20 20:32 +0200 220 IOA.thy
-rw-r--r-- 2007-10-20 20:32 +0200 2925 LiveIOA.thy
-rw-r--r-- 2007-10-20 20:32 +0200 2052 Pred.thy
-rw-r--r-- 2007-10-20 20:32 +0200 10995 RefCorrectness.thy
-rw-r--r-- 2007-10-20 20:32 +0200 3308 RefMappings.thy
-rw-r--r-- 2007-10-20 20:32 +0200 11210 Seq.thy
-rw-r--r-- 2007-10-20 20:32 +0200 31380 Sequence.thy
-rw-r--r-- 2007-10-20 20:32 +0200 7385 ShortExecutions.thy
-rw-r--r-- 2007-10-20 20:32 +0200 9201 SimCorrectness.thy
-rw-r--r-- 2007-10-20 20:32 +0200 2638 Simulations.thy
-rw-r--r-- 2007-10-20 20:32 +0200 4895 TL.thy
-rw-r--r-- 2007-10-20 20:32 +0200 4975 TLS.thy
-rw-r--r-- 2007-10-20 20:32 +0200 12549 Traces.thy
-rw-r--r-- 2007-10-20 20:32 +0200 19491 ioa_package.ML