Searched defs:rep (Results 1 - 12 of 12) sorted by path
/seL4-l4v-master/HOL4/examples/elliptic/ |
H A D | Stream.sml | 31 fun repeat x = let fun rep () = CONS (x, rep) in rep () end; function
|
/seL4-l4v-master/HOL4/src/datatype/ |
H A D | EnumType.sml | 353 val rep = ty ^ "2num" value
|
/seL4-l4v-master/HOL4/src/datatype/mutrec/ |
H A D | MutRecDef.sml | 494 val rep = mk_const{Name = rep_name, value [all...] |
/seL4-l4v-master/HOL4/src/metis/ |
H A D | mlibStream.sml | 21 fun repeat x = let fun rep () = CONS (x, rep) in rep () end; function
|
/seL4-l4v-master/HOL4/src/opentheory/postbool/ |
H A D | Logging.sml | 348 val rep = mk_var("rep",beta-->alpha) value 655 val rep = prim_new_const reptc repty value [all...] |
/seL4-l4v-master/HOL4/src/quotient/src/ |
H A D | quotient.sml | 662 val rep = el 3 R_abs_rep value 1363 val rep = (hd o tl o tl) args value 1586 val rep = (hd o tl o tl) Rar value 1678 val rep = hd (tl (tl Rar)) value 2149 val rep = hd (tl (tl Rar)) value [all...] |
/seL4-l4v-master/isabelle/src/Tools/Metis/src/ |
H A D | Stream.sml | 27 fun repeat x = let fun rep () = Cons (x,rep) in rep () end; function
|
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/ |
H A D | Stream.sml | 27 fun repeat x = let fun rep () = Cons (x,rep) in rep () end; function
|
/seL4-l4v-master/HOL4/src/bool/ |
H A D | boolScript.sml | 2559 val rep = ���rep :'b -> 'a��� value 2609 val rep = rator t1r value [all...] |
/seL4-l4v-master/HOL4/src/holyhammer/ |
H A D | hhTranslate.sml | 131 val rep = list_mk_comb (v,fvl) value
|
/seL4-l4v-master/HOL4/src/opentheory/reader/ |
H A D | OpenTheoryReader.sml | 188 val (rep,_) = dest_comb foo value 189 val {Thy,Name,...} = dest_thy_const rep va value [all...] |
/seL4-l4v-master/HOL4/src/real/ |
H A D | prove_real_assumsScript.sml | 70 val rep = ``real_REP`` value
|
Completed in 142 milliseconds