Searched +path:holcf +path:ioa +path:storage (Results 1 - 8 of 8) sorted by relevance

/seL4-l4v-master/isabelle/src/HOL/HOLCF/IOA/Storage/
H A DAction.thy
H A DCorrectness.thy
H A DImpl.thy
H A DSpec.thy
/seL4-l4v-master/l4v/isabelle/src/HOL/HOLCF/IOA/Storage/
H A DAction.thy
H A DCorrectness.thy
H A DImpl.thy
H A DSpec.thy

Completed in 56 milliseconds