| /seL4-l4v-master/HOL4/src/metis/ |
| H A D | mlibTptp.sml | 33 type rename = {tptp : string, fol : string, arity : int}; type
|
| H A D | normalForms.sml | 1167 fun rename defs vs tm = function
|
| /seL4-l4v-master/HOL4/examples/HolCheck/ |
| H A D | muSyntax.sml | 399 fun rename f = function
|
| H A D | lzConv.sml | 353 fun rename vs t = function
1783 fun rename vname t = let function
|
| H A D | lzPairRules.sml | 2486 val rename = subtract unmatch_vs (subtract A_vs pvs) value
|
| /seL4-l4v-master/HOL4/examples/machine-code/compiler/ |
| H A D | reg_allocLib.sml | 155 fun rename tm = let function
|
| /seL4-l4v-master/HOL4/examples/machine-code/lisp/ |
| H A D | lisp_opsScript.sml | 69 fun rename [] (y1,y2) = (y2,y2) function
|
| /seL4-l4v-master/HOL4/src/TeX/ |
| H A D | mungeTools.sml | 298 fun rename m t = let function
|
| /seL4-l4v-master/HOL4/src/boss/ |
| H A D | bossLib.sml | 285 val rename = Q.RENAME_TAC value
|
| H A D | bossLib.sig | 209 val rename : term quotation list -> tactic value
|
| /seL4-l4v-master/HOL4/examples/dev/ |
| H A D | compile.sml | 1192 fun rename theta t = function
[all...] |
| /seL4-l4v-master/isabelle/src/Tools/Metis/src/ |
| H A D | Normalize.sml | 716 fun rename avoid fv bv fm = function
|
| /seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/ |
| H A D | Normalize.sml | 716 fun rename avoid fv bv fm = function
|
| /seL4-l4v-master/HOL4/polyml/basis/ |
| H A D | OS.sml | 41 val rename : {old : string, new : string} -> unit value
840 fun rename {old, new} = doIo(65, old, new) function
|
| H A D | Posix.sml | 246 val rename : {old : string, new : string} -> unit value
1035 and rename = OS.FileSys.rename value
|
| /seL4-l4v-master/HOL4/src/coretypes/ |
| H A D | PairRules.sml | 2468 val rename = value
|
| /seL4-l4v-master/HOL4/examples/theorem-prover/lisp-runtime/implementation/ |
| H A D | lisp_opsScript.sml | 160 fun rename [] (y1,y2) = (y2,y2) function
|
| /seL4-l4v-master/HOL4/examples/l3-machine-code/common/ |
| H A D | stateLib.sml | 909 fun rename f tm = function
|
| H A D | utilsLib.sml | 223 fun rename v = function
|
| /seL4-l4v-master/HOL4/src/basicProof/ |
| H A D | BasicProvers.sml | 201 val rename = (* create names for underscored inputs *) value
268 fun rename (slist,clause) = function
|
| /seL4-l4v-master/HOL4/src/1/ |
| H A D | Conv.sml | 372 fun rename vs = function
2424 fun rename vname t = function
|
| H A D | Prim_rec.sml | 1242 fun rename t = let function
|