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

/seL4-l4v-10.1.1/HOL4/examples/formal-languages/regular/
H A DRegexp_Type.sig38 val DIGIT : regexp value
H A DRegexp_Type.sml852 val DIGIT = Chset charset_digit value
/seL4-l4v-10.1.1/HOL4/src/emit/
H A Dbasis_emitScript.sml172 \ fun DIGIT ZERO = #\"0\"\n\ function
[all...]
/seL4-l4v-10.1.1/HOL4/examples/acl2/tests/round-trip/gold/
H A Daxioms.lisp[all...]

Completed in 47 milliseconds