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

/seL4-l4v-10.1.1/HOL4/help/src-sml/
H A DParseDoc.sig6 datatype markup = PARA type
H A DParseDoc.sml50 datatype markup type
164 fun markup ss = function
/seL4-l4v-10.1.1/HOL4/src/refute/
H A DCanon.sml491 val markup = map (fn skol => value

Completed in 94 milliseconds