Searched defs:DOT (Results 1 - 2 of 2) sorted by relevance
/seL4-l4v-master/HOL4/examples/formal-languages/regular/ | ||
H A D | Regexp_Type.sig | 44 val DOT : regexp value |
H A D | Regexp_Type.sml | 136 val DOT = SIGMA; value |
Completed in 44 milliseconds