Searched defs:meta (Results 1 - 5 of 5) sorted by relevance

/seL4-l4v-master/HOL4/src/ring/src/
H A Dquote.sml86 val meta = meta_map ty value
/seL4-l4v-master/isabelle/src/Doc/Intro/document/
H A Dadvanced.tex[all...]
/seL4-l4v-master/l4v/isabelle/src/Doc/Intro/document/
H A Dadvanced.tex[all...]
/seL4-l4v-master/HOL4/Manual/Translations/IT/Description/
H A Dsystem.tex
/seL4-l4v-master/HOL4/Manual/Guide/
H A Dguide.tex[all...]

Completed in 64 milliseconds