Searched defs:binary (Results 1 - 6 of 6) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/hardware/hol88/
H A Dbinary-trees.ml16 % Define a recursive type of binary trees. % type
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DNameArity.sig29 val binary : nameArity -> bool value
H A DNameArity.sml27 and binary = nary 2 value
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DNameArity.sig29 val binary : nameArity -> bool value
H A DNameArity.sml27 and binary = nary 2 value
/seL4-l4v-10.1.1/HOL4/src/HolSmt/
H A DSmtLib_Theories.sml164 val binary = String.extract (token, 2, NONE) value

Completed in 24 milliseconds