Cross Reference: /seL4-l4v-10.1.1/l4v/isabelle/src/HOL/HOLCF/IOA/

Name		Date	Size
..		25-Jul-2019	45
ABP/	H	25-Jul-2019	16
Abstraction.thy	H A D	25-Jul-2019	18.4 KiB
Asig.thy	H A D	25-Jul-2019	3 KiB
Automata.thy	H A D	25-Jul-2019	22.5 KiB
CompoExecs.thy	H A D	25-Jul-2019	8.5 KiB
CompoScheds.thy	H A D	25-Jul-2019	20.7 KiB
Compositionality.thy	H A D	25-Jul-2019	3.1 KiB
CompoTraces.thy	H A D	25-Jul-2019	39.6 KiB
Deadlock.thy	H A D	25-Jul-2019	3 KiB
ex/	H	25-Jul-2019	4
IOA.thy	H A D	25-Jul-2019	202
LiveIOA.thy	H A D	25-Jul-2019	3.2 KiB
NTP/	H	25-Jul-2019	13
Pred.thy	H A D	25-Jul-2019	1.3 KiB
RefCorrectness.thy	H A D	25-Jul-2019	11.5 KiB
RefMappings.thy	H A D	25-Jul-2019	4.2 KiB
Seq.thy	H A D	25-Jul-2019	8.4 KiB
Sequence.thy	H A D	25-Jul-2019	33.1 KiB
ShortExecutions.thy	H A D	25-Jul-2019	8.7 KiB
SimCorrectness.thy	H A D	25-Jul-2019	10 KiB
Simulations.thy	H A D	25-Jul-2019	3.4 KiB
Storage/	H	25-Jul-2019	6
TL.thy	H A D	25-Jul-2019	6 KiB
TLS.thy	H A D	25-Jul-2019	6 KiB
Traces.thy	H A D	25-Jul-2019	12.1 KiB