/src/HOLCF/IOA/meta_theory/
drwxr-xr-x [up]
-rw-r--r-- 2005-12-06 09:04 +0100 18992 Abstraction.ML
-rw-r--r-- 2005-12-06 09:04 +0100 2513 Abstraction.thy
-rw-r--r-- 2005-12-06 09:04 +0100 1818 Asig.ML
-rw-r--r-- 2005-12-06 09:04 +0100 1375 Asig.thy
-rw-r--r-- 2005-12-06 09:04 +0100 16512 Automata.ML
-rw-r--r-- 2005-12-06 09:04 +0100 7480 Automata.thy
-rw-r--r-- 2005-12-06 09:04 +0100 8944 CompoExecs.ML
-rw-r--r-- 2005-12-06 09:04 +0100 2017 CompoExecs.thy
-rw-r--r-- 2005-12-06 09:04 +0100 18546 CompoScheds.ML
-rw-r--r-- 2005-12-06 09:04 +0100 2079 CompoScheds.thy
-rw-r--r-- 2005-12-06 09:04 +0100 41755 CompoTraces.ML
-rw-r--r-- 2005-12-06 09:04 +0100 1971 CompoTraces.thy
-rw-r--r-- 2005-12-06 09:04 +0100 2897 Compositionality.ML
-rw-r--r-- 2005-12-06 09:04 +0100 213 Compositionality.thy
-rw-r--r-- 2005-12-06 09:04 +0100 3047 Deadlock.ML
-rw-r--r-- 2005-12-06 09:04 +0100 213 Deadlock.thy
-rw-r--r-- 2005-12-06 09:04 +0100 220 IOA.thy
-rw-r--r-- 2005-12-06 09:04 +0100 1690 LiveIOA.ML
-rw-r--r-- 2005-12-06 09:04 +0100 1730 LiveIOA.thy
-rw-r--r-- 2005-12-06 09:04 +0100 2099 Pred.thy
-rw-r--r-- 2005-12-06 09:04 +0100 10581 RefCorrectness.ML
-rw-r--r-- 2005-12-06 09:04 +0100 2206 RefCorrectness.thy
-rw-r--r-- 2005-12-06 09:04 +0100 2889 RefMappings.ML
-rw-r--r-- 2005-12-06 09:04 +0100 1076 RefMappings.thy
-rw-r--r-- 2005-12-06 09:04 +0100 12216 Seq.ML
-rw-r--r-- 2005-12-06 09:04 +0100 3386 Seq.thy
-rw-r--r-- 2005-12-06 09:04 +0100 34431 Sequence.ML
-rw-r--r-- 2005-12-06 09:04 +0100 2483 Sequence.thy
-rw-r--r-- 2005-12-06 09:04 +0100 7688 ShortExecutions.ML
-rw-r--r-- 2005-12-06 09:04 +0100 1431 ShortExecutions.thy
-rw-r--r-- 2005-12-06 09:04 +0100 9903 SimCorrectness.ML
-rw-r--r-- 2005-12-06 09:04 +0100 1180 SimCorrectness.thy
-rw-r--r-- 2005-12-06 09:04 +0100 655 Simulations.ML
-rw-r--r-- 2005-12-06 09:04 +0100 2187 Simulations.thy
-rw-r--r-- 2005-12-06 09:04 +0100 4912 TL.ML
-rw-r--r-- 2005-12-06 09:04 +0100 1677 TL.thy
-rw-r--r-- 2005-12-06 09:04 +0100 3514 TLS.ML
-rw-r--r-- 2005-12-06 09:04 +0100 1980 TLS.thy
-rw-r--r-- 2005-12-06 09:04 +0100 7914 Traces.ML
-rw-r--r-- 2005-12-06 09:04 +0100 5576 Traces.thy
-rw-r--r-- 2005-12-06 09:04 +0100 19885 ioa_package.ML