Searched defs:distinct (Results 1 - 17 of 17) sorted by relevance

/seL4-l4v-master/HOL4/src/HolSat/vector_def_CNF/
H A DdefCNF.sml26 fun distinct [] = true function
/seL4-l4v-master/HOL4/examples/machine-code/instruction-set-models/x86/
H A Dx86_Lib.sml271 fun distinct [] = [] | distinct (x::xs) = x::distinct (filter (fn y => not (y = x)) xs) function
/seL4-l4v-master/HOL4/examples/machine-code/instruction-set-models/x86_64/
H A Dx64_Lib.sml260 fun distinct [] = [] | distinct (x::xs) = x::distinct (filter (fn y => not (y = x)) xs) function
/seL4-l4v-master/HOL4/examples/elliptic/
H A DUseful.sig179 val distinct : ''a list -> bool value
H A DUseful.sml304 fun distinct [] = true function
/seL4-l4v-master/HOL4/src/datatype/
H A DEnumType.sml366 val distinct = if length constrs > 15 then NONE value
/seL4-l4v-master/HOL4/src/metis/
H A DmlibUseful.sig86 val distinct : ''a list -> bool value
H A DmlibUseful.sml265 fun distinct [] = true function
/seL4-l4v-master/isabelle/src/Tools/Metis/src/
H A DUseful.sig180 val distinct : ''a list -> bool value
H A DUseful.sml384 fun distinct [] = true function
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/
H A DUseful.sig180 val distinct : ''a list -> bool value
H A DUseful.sml384 fun distinct [] = true function
/seL4-l4v-master/HOL4/src/tfl/src/
H A DInduction.sml128 fun distinct [] = [] function
/seL4-l4v-master/HOL4/src/probability/
H A DhurdUtils.sig132 val distinct : ''a list -> bool value
H A DhurdUtils.sml268 fun distinct [] = true function
/seL4-l4v-master/HOL4/src/quotient/src/
H A Dquotient.sml608 fun distinct [] = true function
/seL4-l4v-master/HOL4/examples/acl2/ml/
H A DfunctionEncodeLib.sml2456 val distinct = TypeBase.distinct_of t value

Completed in 143 milliseconds