/src/HOLCF/IOA/meta_theory/
drwxr-xr-x [up]
-rw-r--r-- 2007-04-04 00:11 +0200 18517 Abstraction.thy
-rw-r--r-- 2007-04-04 00:11 +0200 2738 Asig.thy
-rw-r--r-- 2007-04-04 00:11 +0200 21047 Automata.thy
-rw-r--r-- 2007-04-04 00:11 +0200 9511 CompoExecs.thy
-rw-r--r-- 2007-04-04 00:11 +0200 18647 CompoScheds.thy
-rw-r--r-- 2007-04-04 00:11 +0200 30956 CompoTraces.thy
-rw-r--r-- 2007-04-04 00:11 +0200 2499 Compositionality.thy
-rw-r--r-- 2007-04-04 00:11 +0200 2573 Deadlock.thy
-rw-r--r-- 2007-04-04 00:11 +0200 220 IOA.thy
-rw-r--r-- 2007-04-04 00:11 +0200 2925 LiveIOA.thy
-rw-r--r-- 2007-04-04 00:11 +0200 2052 Pred.thy
-rw-r--r-- 2007-04-04 00:11 +0200 10995 RefCorrectness.thy
-rw-r--r-- 2007-04-04 00:11 +0200 3308 RefMappings.thy
-rw-r--r-- 2007-04-04 00:11 +0200 11293 Seq.thy
-rw-r--r-- 2007-04-04 00:11 +0200 31381 Sequence.thy
-rw-r--r-- 2007-04-04 00:11 +0200 7385 ShortExecutions.thy
-rw-r--r-- 2007-04-04 00:11 +0200 9201 SimCorrectness.thy
-rw-r--r-- 2007-04-04 00:11 +0200 2638 Simulations.thy
-rw-r--r-- 2007-04-04 00:11 +0200 4895 TL.thy
-rw-r--r-- 2007-04-04 00:11 +0200 4975 TLS.thy
-rw-r--r-- 2007-04-04 00:11 +0200 12534 Traces.thy
-rw-r--r-- 2007-04-04 00:11 +0200 19606 ioa_package.ML