Searched defs:name2 (Results 1 - 7 of 7) sorted by path

/seL4-l4v-10.1.1/HOL4/examples/dev/sw/
H A DmechReasoning.sml326 val name2 = get_new_thm_name (); value
/seL4-l4v-10.1.1/HOL4/src/holyhammer/
H A DhhWriter.sml82 val name2 = squotify name1 value
94 val name2 = squotify name1 value
106 val name2 = squotify name1 value
/seL4-l4v-10.1.1/HOL4/src/num/arith/src/
H A DNorm_arith.sml415 and name2 = var_of_prod tm2' value
427 and name2 = var_of_prod tm2 value
H A DNorm_ineqs.sml100 and (name2,coeff2) = hd bind2 value
H A DSolve_ineqs.sml233 and (name2,num2) = hd bind2 value
H A DSup_Inf.sml134 and (name2,coeff2) = hd bind2 value
H A DTerm_coeffs.sml58 and (name2,coeff2) = hd bind2 value

Completed in 140 milliseconds