Searched refs:swap (Results 76 - 82 of 82) sorted by relevance

1234

/seL4-l4v-master/HOL4/examples/theorem-prover/lisp-runtime/implementation/
H A Dlisp_invScript.sml318 (* swap *)
H A Dlisp_opsScript.sml257 (* e.g. to swap 4 and 5 do generate_swap 4 5 *)
/seL4-l4v-master/isabelle/src/Doc/Logics/document/
H A DHOL.tex397 \tdx{swap} ~P ==> (~Q ==> P) ==> Q
/seL4-l4v-master/l4v/isabelle/src/Doc/Logics/document/
H A DHOL.tex397 \tdx{swap} ~P ==> (~Q ==> P) ==> Q
/seL4-l4v-master/HOL4/src/probability/
H A DmartingaleScript.sml2274 >> reverse CONJ_TAC (* swap of integrals *)
H A DextrealScript.sml6008 (* 5. now swap Normal and SIGMA *)
/seL4-l4v-master/HOL4/examples/machine-code/multiword/x64/
H A Dx64_multiwordScript.sml335 (* swap xs ys *)

Completed in 243 milliseconds

1234