/src/HOLCF/IOA/meta_theory/
drwxr-xr-x [up]
-rw-r--r-- 2004-06-21 10:25 +0200 19042 Abstraction.ML
-rw-r--r-- 2004-06-21 10:25 +0200 2480 Abstraction.thy
-rw-r--r-- 2004-06-21 10:25 +0200 1831 Asig.ML
-rw-r--r-- 2004-06-21 10:25 +0200 1089 Asig.thy
-rw-r--r-- 2004-06-21 10:25 +0200 16612 Automata.ML
-rw-r--r-- 2004-06-21 10:25 +0200 8297 Automata.thy
-rw-r--r-- 2004-06-21 10:25 +0200 8996 CompoExecs.ML
-rw-r--r-- 2004-06-21 10:25 +0200 1956 CompoExecs.thy
-rw-r--r-- 2004-06-21 10:25 +0200 18608 CompoScheds.ML
-rw-r--r-- 2004-06-21 10:25 +0200 2031 CompoScheds.thy
-rw-r--r-- 2004-06-21 10:25 +0200 41815 CompoTraces.ML
-rw-r--r-- 2004-06-21 10:25 +0200 1895 CompoTraces.thy
-rw-r--r-- 2004-06-21 10:25 +0200 2941 Compositionality.ML
-rw-r--r-- 2004-06-21 10:25 +0200 179 Compositionality.thy
-rw-r--r-- 2004-06-21 10:25 +0200 3077 Deadlock.ML
-rw-r--r-- 2004-06-21 10:25 +0200 182 Deadlock.thy
-rw-r--r-- 2004-06-21 10:25 +0200 260 IOA.ML
-rw-r--r-- 2004-06-21 10:25 +0200 199 IOA.thy
-rw-r--r-- 2004-06-21 10:25 +0200 1710 LiveIOA.ML
-rw-r--r-- 2004-06-21 10:25 +0200 1659 LiveIOA.thy
-rw-r--r-- 2004-06-21 10:25 +0200 2048 Pred.thy
-rw-r--r-- 2004-06-21 10:25 +0200 10659 RefCorrectness.ML
-rw-r--r-- 2004-06-21 10:25 +0200 2130 RefCorrectness.thy
-rw-r--r-- 2004-06-21 10:25 +0200 2928 RefMappings.ML
-rw-r--r-- 2004-06-21 10:25 +0200 1145 RefMappings.thy
-rw-r--r-- 2004-06-21 10:25 +0200 12114 Seq.ML
-rw-r--r-- 2004-06-21 10:25 +0200 3103 Seq.thy
-rw-r--r-- 2004-06-21 10:25 +0200 34495 Sequence.ML
-rw-r--r-- 2004-06-21 10:25 +0200 2406 Sequence.thy
-rw-r--r-- 2004-06-21 10:25 +0200 7872 ShortExecutions.ML
-rw-r--r-- 2004-06-21 10:25 +0200 1338 ShortExecutions.thy
-rw-r--r-- 2004-06-21 10:25 +0200 9935 SimCorrectness.ML
-rw-r--r-- 2004-06-21 10:25 +0200 1126 SimCorrectness.thy
-rw-r--r-- 2004-06-21 10:25 +0200 688 Simulations.ML
-rw-r--r-- 2004-06-21 10:25 +0200 2406 Simulations.thy
-rw-r--r-- 2004-06-21 10:25 +0200 4929 TL.ML
-rw-r--r-- 2004-06-21 10:25 +0200 1620 TL.thy
-rw-r--r-- 2004-06-21 10:25 +0200 3566 TLS.ML
-rw-r--r-- 2004-06-21 10:25 +0200 1921 TLS.thy
-rw-r--r-- 2004-06-21 10:25 +0200 7899 Traces.ML
-rw-r--r-- 2004-06-21 10:25 +0200 5513 Traces.thy
-rw-r--r-- 2004-06-21 10:25 +0200 19835 ioa_package.ML
-rw-r--r-- 2004-06-21 10:25 +0200 5211 ioa_syn.ML