Searched defs:mk_and (Results 1 - 7 of 7) sorted by relevance
| /seL4-l4v-10.1.1/HOL4/examples/formal-languages/regular/ |
| H A D | regexpSyntax.sig | 20 val mk_and : term * term -> term value
|
| H A D | regexpSyntax.sml | 34 val mk_and = mk_binop and_tm value
|
| /seL4-l4v-10.1.1/graph-refine/ |
| H A D | loop_bounds.py | 6 from syntax import mk_not, true_term, false_term, mk_implies, Expr, Type, unspecified_precond_term,mk_and namespace
|
| H A D | stack_logic.py | 718 from syntax import mk_not, mk_and, true_term namespace
946 from syntax import mk_not, mk_and, foldr1 namespace
|
| H A D | rep_graph.py | 10 from syntax import (true_term, false_term, boolT, mk_and, mk_not, mk_implies, namespace
|
| H A D | search.py | 16 from syntax import (mk_and, mk_cast, mk_implies, mk_not, mk_uminus, mk_var, namespace
|
| H A D | syntax.py | 1372 def mk_and (x, y): function
|
Completed in 64 milliseconds