/src/HOLCF/IOA/meta_theory/
drwxr-xr-x [up]
-rw-r--r-- 2001-12-01 18:55 +0100 19085 Abstraction.ML
-rw-r--r-- 2001-12-01 18:55 +0100 2529 Abstraction.thy
-rw-r--r-- 2001-12-01 18:55 +0100 1880 Asig.ML
-rw-r--r-- 2001-12-01 18:55 +0100 1138 Asig.thy
-rw-r--r-- 2001-12-01 18:55 +0100 16661 Automata.ML
-rw-r--r-- 2001-12-01 18:55 +0100 8367 Automata.thy
-rw-r--r-- 2001-12-01 18:55 +0100 9045 CompoExecs.ML
-rw-r--r-- 2001-12-01 18:55 +0100 2005 CompoExecs.thy
-rw-r--r-- 2001-12-01 18:55 +0100 18657 CompoScheds.ML
-rw-r--r-- 2001-12-01 18:55 +0100 2080 CompoScheds.thy
-rw-r--r-- 2001-12-01 18:55 +0100 41864 CompoTraces.ML
-rw-r--r-- 2001-12-01 18:55 +0100 1944 CompoTraces.thy
-rw-r--r-- 2001-12-01 18:55 +0100 2990 Compositionality.ML
-rw-r--r-- 2001-12-01 18:55 +0100 228 Compositionality.thy
-rw-r--r-- 2001-12-01 18:55 +0100 3126 Deadlock.ML
-rw-r--r-- 2001-12-01 18:55 +0100 231 Deadlock.thy
-rw-r--r-- 2001-12-01 18:55 +0100 309 IOA.ML
-rw-r--r-- 2001-12-01 18:55 +0100 248 IOA.thy
-rw-r--r-- 2001-12-01 18:55 +0100 1753 LiveIOA.ML
-rw-r--r-- 2001-12-01 18:55 +0100 1708 LiveIOA.thy
-rw-r--r-- 2001-12-01 18:55 +0100 1928 Pred.thy
-rw-r--r-- 2001-12-01 18:55 +0100 10708 RefCorrectness.ML
-rw-r--r-- 2001-12-01 18:55 +0100 2179 RefCorrectness.thy
-rw-r--r-- 2001-12-01 18:55 +0100 2977 RefMappings.ML
-rw-r--r-- 2001-12-01 18:55 +0100 1194 RefMappings.thy
-rw-r--r-- 2001-12-01 18:55 +0100 12163 Seq.ML
-rw-r--r-- 2001-12-01 18:55 +0100 3152 Seq.thy
-rw-r--r-- 2001-12-01 18:55 +0100 34551 Sequence.ML
-rw-r--r-- 2001-12-01 18:55 +0100 2455 Sequence.thy
-rw-r--r-- 2001-12-01 18:55 +0100 7921 ShortExecutions.ML
-rw-r--r-- 2001-12-01 18:55 +0100 1387 ShortExecutions.thy
-rw-r--r-- 2001-12-01 18:55 +0100 9984 SimCorrectness.ML
-rw-r--r-- 2001-12-01 18:55 +0100 1175 SimCorrectness.thy
-rw-r--r-- 2001-12-01 18:55 +0100 790 Simulations.ML
-rw-r--r-- 2001-12-01 18:55 +0100 2455 Simulations.thy
-rw-r--r-- 2001-12-01 18:55 +0100 4978 TL.ML
-rw-r--r-- 2001-12-01 18:55 +0100 1669 TL.thy
-rw-r--r-- 2001-12-01 18:55 +0100 3615 TLS.ML
-rw-r--r-- 2001-12-01 18:55 +0100 1970 TLS.thy
-rw-r--r-- 2001-12-01 18:55 +0100 7948 Traces.ML
-rw-r--r-- 2001-12-01 18:55 +0100 5562 Traces.thy
-rw-r--r-- 2001-12-01 18:55 +0100 19847 ioa_package.ML
-rw-r--r-- 2001-12-01 18:55 +0100 5222 ioa_syn.ML