Searched defs:same (Results 1 - 8 of 8) sorted by relevance

/seL4-l4v-master/HOL4/examples/acl2/tests/inputs/
H A Dapply-total-order.lisp
H A Drecords.lisp
H A Dcircuits.lisp
/seL4-l4v-master/isabelle/src/Tools/Metis/src/
H A DSharing.sml89 val same = same andalso x == y value
106 val same = same andalso x == y value
[all...]
H A Dselftest.sml1072 fun same n = raise Fail ("Two goals called " ^ n); function
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/
H A DSharing.sml89 val same = same andalso x == y value
106 val same = same andalso x == y value
[all...]
H A Dselftest.sml1072 fun same n = raise Fail ("Two goals called " ^ n); function
/seL4-l4v-master/HOL4/src/postkernel/
H A DTheory.sml207 let fun same (node,_) = thyid_eq node n function

Completed in 71 milliseconds