Searched defs:finished (Results 1 - 10 of 10) sorted by relevance

/seL4-l4v-master/HOL4/examples/elliptic/
H A DParser.sig52 val finished : ('a,unit) parser value
H A DParser.sml124 fun finished Stream.NIL = ((), Stream.NIL) function
/seL4-l4v-master/isabelle/src/Tools/Metis/src/
H A DParse.sig58 val finished : ('a,unit) parser value
H A DParse.sml87 fun finished Stream.Nil = ((), Stream.Nil) function
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/
H A DParse.sig58 val finished : ('a,unit) parser value
H A DParse.sml87 fun finished Stream.Nil = ((), Stream.Nil) function
/seL4-l4v-master/HOL4/src/metis/
H A DmlibParser.sig35 val finished : ('a,unit) parser value
H A DmlibParser.sml103 fun finished S.NIL = ((), S.NIL) function
/seL4-l4v-master/HOL4/examples/pgcl/src/
H A DposrealTools.sml194 val finished = value
/seL4-l4v-master/HOL4/examples/acl2/ml/
H A DfunctionEncodeLib.sml1169 val finished = value
3467 val finished = map (RIGHT_CONV_RULE (PROPAGATE_ENCODERS_CONV value

Completed in 75 milliseconds