/src/HOL/HOLCF/IOA/meta_theory/
drwxr-xr-x [up]
-rw-r--r-- 2010-11-27 16:08 -0800 18317 Abstraction.thy
-rw-r--r-- 2010-11-27 16:08 -0800 2711 Asig.thy
-rw-r--r-- 2010-11-27 16:08 -0800 20595 Automata.thy
-rw-r--r-- 2010-11-27 16:08 -0800 9297 CompoExecs.thy
-rw-r--r-- 2010-11-27 16:08 -0800 18633 CompoScheds.thy
-rw-r--r-- 2010-11-27 16:08 -0800 30287 CompoTraces.thy
-rw-r--r-- 2010-11-27 16:08 -0800 2434 Compositionality.thy
-rw-r--r-- 2010-11-27 16:08 -0800 2541 Deadlock.thy
-rw-r--r-- 2010-11-27 16:08 -0800 199 IOA.thy
-rw-r--r-- 2010-11-27 16:08 -0800 2774 LiveIOA.thy
-rw-r--r-- 2010-11-27 16:08 -0800 1474 Pred.thy
-rw-r--r-- 2010-11-27 16:08 -0800 10839 RefCorrectness.thy
-rw-r--r-- 2010-11-27 16:08 -0800 3210 RefMappings.thy
-rw-r--r-- 2010-11-27 16:08 -0800 7180 Seq.thy
-rw-r--r-- 2010-11-27 16:08 -0800 29666 Sequence.thy
-rw-r--r-- 2010-11-27 16:08 -0800 7312 ShortExecutions.thy
-rw-r--r-- 2010-11-27 16:08 -0800 9054 SimCorrectness.thy
-rw-r--r-- 2010-11-27 16:08 -0800 2535 Simulations.thy
-rw-r--r-- 2010-11-27 16:08 -0800 4712 TL.thy
-rw-r--r-- 2010-11-27 16:08 -0800 5128 TLS.thy
-rw-r--r-- 2010-11-27 16:08 -0800 12187 Traces.thy