Searched defs:recursion (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/isabelle/src/Doc/Intro/document/
H A Dadvanced.tex
/seL4-l4v-10.1.1/l4v/isabelle/src/Doc/Intro/document/
H A Dadvanced.tex
/seL4-l4v-10.1.1/HOL4/src/Boolify/src/
H A DEncode.sml249 val recursion = TypeBasePure.axiom_of (hd tyinfol) value

Completed in 28 milliseconds