/src/HOLCF/IOA/meta_theory/
drwxr-xr-x [up]
-rw-r--r-- 2000-04-18 00:49 +0200 19072 Abstraction.ML
-rw-r--r-- 2000-04-18 00:49 +0200 2514 Abstraction.thy
-rw-r--r-- 2000-04-18 00:49 +0200 1870 Asig.ML
-rw-r--r-- 2000-04-18 00:49 +0200 1128 Asig.thy
-rw-r--r-- 2000-04-18 00:49 +0200 16652 Automata.ML
-rw-r--r-- 2000-04-18 00:49 +0200 8366 Automata.thy
-rw-r--r-- 2000-04-18 00:49 +0200 9029 CompoExecs.ML
-rw-r--r-- 2000-04-18 00:49 +0200 1991 CompoExecs.thy
-rw-r--r-- 2000-04-18 00:49 +0200 18656 CompoScheds.ML
-rw-r--r-- 2000-04-18 00:49 +0200 2081 CompoScheds.thy
-rw-r--r-- 2000-04-18 00:49 +0200 41894 CompoTraces.ML
-rw-r--r-- 2000-04-18 00:49 +0200 1933 CompoTraces.thy
-rw-r--r-- 2000-04-18 00:49 +0200 2976 Compositionality.ML
-rw-r--r-- 2000-04-18 00:49 +0200 213 Compositionality.thy
-rw-r--r-- 2000-04-18 00:49 +0200 3110 Deadlock.ML
-rw-r--r-- 2000-04-18 00:49 +0200 215 Deadlock.thy
-rw-r--r-- 2000-04-18 00:49 +0200 300 IOA.ML
-rw-r--r-- 2000-04-18 00:49 +0200 244 IOA.thy
-rw-r--r-- 2000-04-18 00:49 +0200 1739 LiveIOA.ML
-rw-r--r-- 2000-04-18 00:49 +0200 1694 LiveIOA.thy
-rw-r--r-- 2000-04-18 00:49 +0200 1921 Pred.thy
-rw-r--r-- 2000-04-18 00:49 +0200 10695 RefCorrectness.ML
-rw-r--r-- 2000-04-18 00:49 +0200 2164 RefCorrectness.thy
-rw-r--r-- 2000-04-18 00:49 +0200 2965 RefMappings.ML
-rw-r--r-- 2000-04-18 00:49 +0200 1179 RefMappings.thy
-rw-r--r-- 2000-04-18 00:49 +0200 12150 Seq.ML
-rw-r--r-- 2000-04-18 00:49 +0200 3138 Seq.thy
-rw-r--r-- 2000-04-18 00:49 +0200 34527 Sequence.ML
-rw-r--r-- 2000-04-18 00:49 +0200 2449 Sequence.thy
-rw-r--r-- 2000-04-18 00:49 +0200 7907 ShortExecutions.ML
-rw-r--r-- 2000-04-18 00:49 +0200 1377 ShortExecutions.thy
-rw-r--r-- 2000-04-18 00:49 +0200 9975 SimCorrectness.ML
-rw-r--r-- 2000-04-18 00:49 +0200 1160 SimCorrectness.thy
-rw-r--r-- 2000-04-18 00:49 +0200 775 Simulations.ML
-rw-r--r-- 2000-04-18 00:49 +0200 2440 Simulations.thy
-rw-r--r-- 2000-04-18 00:49 +0200 4964 TL.ML
-rw-r--r-- 2000-04-18 00:49 +0200 1660 TL.thy
-rw-r--r-- 2000-04-18 00:49 +0200 3609 TLS.ML
-rw-r--r-- 2000-04-18 00:49 +0200 1955 TLS.thy
-rw-r--r-- 2000-04-18 00:49 +0200 7934 Traces.ML
-rw-r--r-- 2000-04-18 00:49 +0200 5551 Traces.thy
-rw-r--r-- 2000-04-18 00:49 +0200 21079 ioa_package.ML
-rw-r--r-- 2000-04-18 00:49 +0200 5222 ioa_syn.ML