History log of /seL4-l4v-10.1.1/l4v/isabelle/src/HOL/HOLCF/IOA/RefCorrectness.thy
Revision Date Author Comments
# f5796e6d 14-Feb-2018 wenzelm <none@none>

more symbols;
# 9b9c2176 12-Aug-2016 wenzelm <none@none>

more symbols;
# 2df4ddef 10-Aug-2016 nipkow <none@none>

"split add" -> "split"
# 2021fec7 25-Jul-2016 wenzelm <none@none>

more symbols;
# 35f7dccd 23-Feb-2016 nipkow <none@none>

more canonical names
# 52957abc 16-Jan-2016 wenzelm <none@none>

more method definitions;
# 95c01093 12-Jan-2016 wenzelm <none@none>

misc tuning and modernization;
# 9420a93e 30-Dec-2015 wenzelm <none@none>

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