/src/HOLCF/IOA/meta_theory/
drwxr-xr-x [up]
-rw-r--r-- 1998-01-12 17:48 +0100 15912 Abstraction.ML
-rw-r--r-- 1998-01-12 17:48 +0100 2322 Abstraction.thy
-rw-r--r-- 1998-01-12 17:48 +0100 2039 Asig.ML
-rw-r--r-- 1998-01-12 17:48 +0100 1129 Asig.thy
-rw-r--r-- 1998-01-12 17:48 +0100 17754 Automata.ML
-rw-r--r-- 1998-01-12 17:48 +0100 8360 Automata.thy
-rw-r--r-- 1998-01-12 17:48 +0100 9465 CompoExecs.ML
-rw-r--r-- 1998-01-12 17:48 +0100 1991 CompoExecs.thy
-rw-r--r-- 1998-01-12 17:48 +0100 19056 CompoScheds.ML
-rw-r--r-- 1998-01-12 17:48 +0100 2081 CompoScheds.thy
-rw-r--r-- 1998-01-12 17:48 +0100 42929 CompoTraces.ML
-rw-r--r-- 1998-01-12 17:48 +0100 1933 CompoTraces.thy
-rw-r--r-- 1998-01-12 17:48 +0100 3080 Compositionality.ML
-rw-r--r-- 1998-01-12 17:48 +0100 233 Compositionality.thy
-rw-r--r-- 1998-01-12 17:48 +0100 3140 Deadlock.ML
-rw-r--r-- 1998-01-12 17:48 +0100 215 Deadlock.thy
-rw-r--r-- 1998-01-12 17:48 +0100 179 IOA.ML
-rw-r--r-- 1998-01-12 17:48 +0100 244 IOA.thy
-rw-r--r-- 1998-01-12 17:48 +0100 2105 LiveIOA.ML
-rw-r--r-- 1998-01-12 17:48 +0100 1699 LiveIOA.thy
-rw-r--r-- 1998-01-12 17:48 +0100 1859 Pred.thy
-rw-r--r-- 1998-01-12 17:48 +0100 10743 RefCorrectness.ML
-rw-r--r-- 1998-01-12 17:48 +0100 2113 RefCorrectness.thy
-rw-r--r-- 1998-01-12 17:48 +0100 3055 RefMappings.ML
-rw-r--r-- 1998-01-12 17:48 +0100 1179 RefMappings.thy
-rw-r--r-- 1998-01-12 17:48 +0100 14133 Seq.ML
-rw-r--r-- 1998-01-12 17:48 +0100 3243 Seq.thy
-rw-r--r-- 1998-01-12 17:48 +0100 36916 Sequence.ML
-rw-r--r-- 1998-01-12 17:48 +0100 2433 Sequence.thy
-rw-r--r-- 1998-01-12 17:48 +0100 8677 ShortExecutions.ML
-rw-r--r-- 1998-01-12 17:48 +0100 1377 ShortExecutions.thy
-rw-r--r-- 1998-01-12 17:48 +0100 5210 TL.ML
-rw-r--r-- 1998-01-12 17:48 +0100 1841 TL.thy
-rw-r--r-- 1998-01-12 17:48 +0100 2497 TLS.ML
-rw-r--r-- 1998-01-12 17:48 +0100 1834 TLS.thy
-rw-r--r-- 1998-01-12 17:48 +0100 7891 Traces.ML
-rw-r--r-- 1998-01-12 17:48 +0100 5610 Traces.thy
-rw-r--r-- 1998-01-12 17:48 +0100 1043 TrivEx.ML
-rw-r--r-- 1998-01-12 17:48 +0100 1495 TrivEx.thy
-rw-r--r-- 1998-01-12 17:48 +0100 1720 TrivEx2.ML
-rw-r--r-- 1998-01-12 17:48 +0100 1721 TrivEx2.thy