clarified directory structure; --HG-- rename : src/HOL/HOLCF/IOA/meta_theory/Abstraction.thy => src/HOL/HOLCF/IOA/Abstraction.thy rename : src/HOL/HOLCF/IOA/meta_theory/Asig.thy => src/HOL/HOLCF/IOA/Asig.thy rename : src/HOL/HOLCF/IOA/meta_theory/Automata.thy => src/HOL/HOLCF/IOA/Automata.thy rename : src/HOL/HOLCF/IOA/meta_theory/CompoExecs.thy => src/HOL/HOLCF/IOA/CompoExecs.thy rename : src/HOL/HOLCF/IOA/meta_theory/CompoScheds.thy => src/HOL/HOLCF/IOA/CompoScheds.thy rename : src/HOL/HOLCF/IOA/meta_theory/CompoTraces.thy => src/HOL/HOLCF/IOA/CompoTraces.thy rename : src/HOL/HOLCF/IOA/meta_theory/Compositionality.thy => src/HOL/HOLCF/IOA/Compositionality.thy rename : src/HOL/HOLCF/IOA/meta_theory/Deadlock.thy => src/HOL/HOLCF/IOA/Deadlock.thy rename : src/HOL/HOLCF/IOA/meta_theory/IOA.thy => src/HOL/HOLCF/IOA/IOA.thy rename : src/HOL/HOLCF/IOA/meta_theory/LiveIOA.thy => src/HOL/HOLCF/IOA/LiveIOA.thy rename : src/HOL/HOLCF/IOA/meta_theory/Pred.thy => src/HOL/HOLCF/IOA/Pred.thy rename : src/HOL/HOLCF/IOA/meta_theory/RefCorrectness.thy => src/HOL/HOLCF/IOA/RefCorrectness.thy rename : src/HOL/HOLCF/IOA/meta_theory/RefMappings.thy => src/HOL/HOLCF/IOA/RefMappings.thy rename : src/HOL/HOLCF/IOA/meta_theory/Seq.thy => src/HOL/HOLCF/IOA/Seq.thy rename : src/HOL/HOLCF/IOA/meta_theory/Sequence.thy => src/HOL/HOLCF/IOA/Sequence.thy rename : src/HOL/HOLCF/IOA/meta_theory/ShortExecutions.thy => src/HOL/HOLCF/IOA/ShortExecutions.thy rename : src/HOL/HOLCF/IOA/meta_theory/SimCorrectness.thy => src/HOL/HOLCF/IOA/SimCorrectness.thy rename : src/HOL/HOLCF/IOA/meta_theory/Simulations.thy => src/HOL/HOLCF/IOA/Simulations.thy rename : src/HOL/HOLCF/IOA/meta_theory/TL.thy => src/HOL/HOLCF/IOA/TL.thy rename : src/HOL/HOLCF/IOA/meta_theory/TLS.thy => src/HOL/HOLCF/IOA/TLS.thy rename : src/HOL/HOLCF/IOA/meta_theory/Traces.thy => src/HOL/HOLCF/IOA/Traces.thy
|