/src/HOLCF/IOA/meta_theory/
drwxr-xr-x [up]
-rw-r--r-- 2009-05-11 08:28 -0700 18368 Abstraction.thy
-rw-r--r-- 2009-05-11 08:28 -0700 2732 Asig.thy
-rw-r--r-- 2009-05-11 08:28 -0700 20608 Automata.thy
-rw-r--r-- 2009-05-11 08:28 -0700 9343 CompoExecs.thy
-rw-r--r-- 2009-05-11 08:28 -0700 18704 CompoScheds.thy
-rw-r--r-- 2009-05-11 08:28 -0700 30905 CompoTraces.thy
-rw-r--r-- 2009-05-11 08:28 -0700 2455 Compositionality.thy
-rw-r--r-- 2009-05-11 08:28 -0700 2562 Deadlock.thy
-rw-r--r-- 2009-05-11 08:28 -0700 220 IOA.thy
-rw-r--r-- 2009-05-11 08:28 -0700 2830 LiveIOA.thy
-rw-r--r-- 2009-05-11 08:28 -0700 2052 Pred.thy
-rw-r--r-- 2009-05-11 08:28 -0700 10871 RefCorrectness.thy
-rw-r--r-- 2009-05-11 08:28 -0700 3230 RefMappings.thy
-rw-r--r-- 2009-05-11 08:28 -0700 11566 Seq.thy
-rw-r--r-- 2009-05-11 08:28 -0700 30125 Sequence.thy
-rw-r--r-- 2009-05-11 08:28 -0700 7333 ShortExecutions.thy
-rw-r--r-- 2009-05-11 08:28 -0700 9074 SimCorrectness.thy
-rw-r--r-- 2009-05-11 08:28 -0700 2555 Simulations.thy
-rw-r--r-- 2009-05-11 08:28 -0700 4732 TL.thy
-rw-r--r-- 2009-05-11 08:28 -0700 5163 TLS.thy
-rw-r--r-- 2009-05-11 08:28 -0700 12178 Traces.thy
-rw-r--r-- 2009-05-11 08:28 -0700 19504 ioa_package.ML