/src/HOL/HOLCF/IOA/meta_theory/
drwxr-xr-x [up]
-rw-r--r-- 2014-11-02 17:16 +0100 18269 Abstraction.thy
-rw-r--r-- 2014-11-02 17:16 +0100 2726 Asig.thy
-rw-r--r-- 2014-11-02 17:16 +0100 20587 Automata.thy
-rw-r--r-- 2014-11-02 17:16 +0100 9303 CompoExecs.thy
-rw-r--r-- 2014-11-02 17:16 +0100 18556 CompoScheds.thy
-rw-r--r-- 2014-11-02 17:16 +0100 30401 CompoTraces.thy
-rw-r--r-- 2014-11-02 17:16 +0100 2440 Compositionality.thy
-rw-r--r-- 2014-11-02 17:16 +0100 2547 Deadlock.thy
-rw-r--r-- 2014-11-02 17:16 +0100 205 IOA.thy
-rw-r--r-- 2014-11-02 17:16 +0100 2787 LiveIOA.thy
-rw-r--r-- 2014-11-02 17:16 +0100 1487 Pred.thy
-rw-r--r-- 2014-11-02 17:16 +0100 10845 RefCorrectness.thy
-rw-r--r-- 2014-11-02 17:16 +0100 3216 RefMappings.thy
-rw-r--r-- 2014-11-02 17:16 +0100 7195 Seq.thy
-rw-r--r-- 2014-11-02 17:16 +0100 29522 Sequence.thy
-rw-r--r-- 2014-11-02 17:16 +0100 7317 ShortExecutions.thy
-rw-r--r-- 2014-11-02 17:16 +0100 9020 SimCorrectness.thy
-rw-r--r-- 2014-11-02 17:16 +0100 2541 Simulations.thy
-rw-r--r-- 2014-11-02 17:16 +0100 4724 TL.thy
-rw-r--r-- 2014-11-02 17:16 +0100 5139 TLS.thy
-rw-r--r-- 2014-11-02 17:16 +0100 12250 Traces.thy