Searched defs:others (Results 1 - 9 of 9) sorted by relevance

/seL4-l4v-master/HOL4/tools/Holmake/
H A DHM_GraphBuildJ1.sml91 val others = find_nodes_by_command g cmd value
112 val others = find_nodes_by_command g cmd value
/seL4-l4v-master/HOL4/tools/Holmake/poly/
H A Dmultibuild.sml104 val others = find_nodes_by_command g cmd value
/seL4-l4v-master/isabelle/src/Tools/Metis/src/
H A DSubsume.sml196 val others = (sub, subs :: subsl) :: others value
H A DRule.sml741 val others = value
745 val others = (edge :: apart, sub, edges) :: others value
[all...]
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/
H A DSubsume.sml196 val others = (sub, subs :: subsl) :: others value
H A DRule.sml741 val others = value
745 val others = (edge :: apart, sub, edges) :: others value
[all...]
/seL4-l4v-master/HOL4/src/IndDef/
H A DInductiveDefinition.sml
/seL4-l4v-master/HOL4/src/simp/src/
H A DsimpLib.sml998 val others = Set.listItems (Set.addList (empty_strset, others0)) value
/seL4-l4v-master/HOL4/src/real/
H A DRealArith.sml1135 val others = map (elim_var v eq) roth @ ioth value

Completed in 121 milliseconds