Searched defs:one (Results 1 - 25 of 44) sorted by relevance

12

/seL4-l4v-master/HOL4/examples/hardware/hol88/computer/
H A Dproof2.ml10 % value of knob, and one possible cycle when the button is not % var
/seL4-l4v-master/HOL4/tools-poly/poly/redirects/
H A DmlibOmegaint.sml10 val one = I.fromInt 1; value
/seL4-l4v-master/HOL4/help/src-sml/
H A DFlash.sml9 fun one () = (count := !count + 1; function
/seL4-l4v-master/HOL4/src/coretypes/
H A DoneScript.sml82 val one = store_thm("one[simp]", value
[all...]
/seL4-l4v-master/HOL4/src/metis/
H A DmlibArbnum.sig9 val one : num value
H A DmlibOmegaint.sig9 val one : int value
H A DmlibArbint.sig11 val one : int value
H A DmlibArbint.sml20 val one = (true, mlibArbnum.one) value
H A DmlibSubsume.sml143 val one = N.filter (pred o snd) one value
[all...]
/seL4-l4v-master/HOL4/src/num/theories/
H A DNum_conv.sml40 val one = numSyntax.mk_numeral(Arbnum.fromInt 1) value
/seL4-l4v-master/HOL4/src/portableML/poly/
H A DArbintcore.sml11 val one = 1 value
H A DArbintcore.sig9 val one : int value
H A DArbnumcore.sig7 val one : num value
H A DArbnumcore.sml16 val one = 1 value
/seL4-l4v-master/HOL4/examples/l3-machine-code/lib/
H A DBitstring.sig33 val one: Nat.nat -> bitstring value
H A DNat.sig27 val one: nat value
H A DNat.sml31 val one = 1: IntInf.int value
H A DBitstring.sml20 fun one n = if n < 1 then [] else zero (n - 1) @ [true] function
/seL4-l4v-master/HOL4/src/num/arith/src/
H A DGenRelNorm.sml20 val one : t value
[all...]
/seL4-l4v-master/HOL4/src/portableML/
H A DArbrat.sig10 val one : rat value
H A DArbrat.sml25 val one = fromInt 1 value
/seL4-l4v-master/HOL4/src/portableML/mosml/
H A DArbintcore.sig9 val one : int value
H A DArbintcore.sml23 val one = (true, Arbnumcore.one) value
H A DArbnumcore.sig7 val one : num value
/seL4-l4v-master/HOL4/examples/formal-languages/regular/
H A DregexpMisc.sml29 val one = IntInf.fromInt 1 value

Completed in 302 milliseconds

12