Searched defs:dquote (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/prekernel/
H A DLexis.sml219 local val dquote = #"\"" value
/seL4-l4v-10.1.1/HOL4/tools/Holmake/
H A DwinNT-systeml.sml11 fun dquote s = concat ["\"", s, "\""] function
/seL4-l4v-10.1.1/HOL4/tools/
H A Dhol-unicode.el
/seL4-l4v-10.1.1/HOL4/tools-poly/Holmake/
H A DwinNT-systeml.sml11 fun dquote s = concat ["\"", s, "\""] function

Completed in 85 milliseconds