| /seL4-l4v-10.1.1/HOL4/examples/hardware/port/ |
| H A D | replace-hol88.el | |
| /seL4-l4v-10.1.1/HOL4/examples/temporal_deep/src/examples/ |
| H A D | ibm.sml | 210 val replace = mk_comb (``P_BIGAND:num prop_logic list -> num prop_logic``, l) value
|
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/common/ |
| H A D | spec_databaseLib.sml | 76 fun replace f (k, tm: term, new) = function
|
| /seL4-l4v-10.1.1/HOL4/src/parse/ |
| H A D | Pretype.sml | 125 fun replace s (env as (E, alist)) = function
|
| /seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/ |
| H A D | Atom.sig | 65 val replace : atom -> Term.path * Term.term -> atom value
|
| H A D | Atom.sml | 92 fun replace _ ([],_) = raise Bug "Atom.replace: empty path" function
|
| H A D | Literal.sig | 79 val replace : literal -> Term.path * Term.term -> literal value
|
| H A D | Term.sig | 95 val replace : term -> path * term -> term value
|
| H A D | Literal.sml | 85 fun replace (lit as (pol,atm)) path_tm = function
|
| H A D | Term.sml | 173 fun replace tm ([],res) = if equal res tm then tm else res function
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/ |
| H A D | Atom.sig | 65 val replace : atom -> Term.path * Term.term -> atom value
|
| H A D | Atom.sml | 92 fun replace _ ([],_) = raise Bug "Atom.replace: empty path" function
|
| H A D | Literal.sig | 79 val replace : literal -> Term.path * Term.term -> literal value
|
| H A D | Term.sig | 95 val replace : term -> path * term -> term value
|
| H A D | Literal.sml | 85 fun replace (lit as (pol,atm)) path_tm = function
|
| H A D | Term.sml | 173 fun replace tm ([],res) = if equal res tm then tm else res function
|
| /seL4-l4v-10.1.1/HOL4/examples/elliptic/swsep/ |
| H A D | swsepLib.sml | 32 val replace = ``^new_var = run_ir ^ir ^st_var``; value
57 fun replace var_old var_new = function
177 fun replace var_old = function
|
| /seL4-l4v-10.1.1/HOL4/examples/muddy/ |
| H A D | bdd.sig | 65 val replace : bdd -> pairSet -> bdd value
|
| H A D | bdd.sml | 164 val replace : bdd -> pairSet -> bdd = app2 (symb "mlbdd_bdd_replace") value
|
| /seL4-l4v-10.1.1/HOL4/examples/dev/sw/ |
| H A D | regAllocation.sml | 607 fun replace l old new = List.map (fn x => (if (x = old) then new else x)) l; function
766 fun replace ll = List.map subs ll; function
882 fun replace exp = function
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.1/ |
| H A D | regAllocation.sml | 607 fun replace l old new = List.map (fn x => (if (x = old) then new else x)) l; function
766 fun replace ll = List.map subs ll; function
882 fun replace exp = function
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.2/ |
| H A D | regAllocation.sml | 607 fun replace l old new = List.map (fn x => (if (x = old) then new else x)) l; function
766 fun replace ll = List.map subs ll; function
882 fun replace exp = function
[all...] |
| /seL4-l4v-10.1.1/HOL4/src/emit/ |
| H A D | EmitML.sml | 1068 fun replace f (v as dVartype _) = v function
|
| /seL4-l4v-10.1.1/HOL4/examples/machine-code/hoare-triple/ |
| H A D | helperLib.sml | 1355 fun replace (z,q) tm = let function
|
| /seL4-l4v-10.1.1/HOL4/examples/acl2/ml/ |
| H A D | functionEncodeLib.sml | 1671 val replace = om (mk_eq(function,function)) value
|