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

/seL4-l4v-master/HOL4/examples/formal-languages/regular/
H A DDFA_Codegen.sml205 " fun steps state i =\n", function
/seL4-l4v-master/HOL4/src/1/
H A DPmatchHeuristics.sml59 fun steps [] ncolL = ncolL function
/seL4-l4v-master/HOL4/src/tfl/src/
H A DDefn.sml1350 fun steps rels = function
/seL4-l4v-master/HOL4/src/pattern_matches/
H A DpatternMatchesLib.sml1922 fun steps [] ncolL = ncolL function

Completed in 74 milliseconds