Searched +path:holcf +path:focus (Results 1 - 12 of 12) sorted by relevance

/seL4-l4v-master/isabelle/src/HOL/HOLCF/FOCUS/
H A DFOCUS.thy
H A DBuffer.thy
H A DBuffer_adm.thy
H A DFstream.thy
H A DFstreams.thy
H A DStream_adm.thy
/seL4-l4v-master/l4v/isabelle/src/HOL/HOLCF/FOCUS/
H A DFOCUS.thy
H A DBuffer.thy
H A DBuffer_adm.thy
H A DFstream.thy
H A DFstreams.thy
H A DStream_adm.thy

Completed in 32 milliseconds