Searched defs:rep (Results 1 - 12 of 12) sorted by relevance
| /seL4-l4v-10.1.1/HOL4/src/metis/ |
| H A D | mlibStream.sml | 21 fun repeat x = let fun rep () = CONS (x, rep) in rep () end; function
|
| /seL4-l4v-10.1.1/HOL4/examples/elliptic/ |
| H A D | Stream.sml | 31 fun repeat x = let fun rep () = CONS (x, rep) in rep () end; function
|
| /seL4-l4v-10.1.1/HOL4/src/opentheory/postbool/ |
| H A D | Opentheory.sml | 188 val (rep,_) = dest_comb foo value
189 val {Thy,Name,...} = dest_thy_const rep va value
[all...] |
| 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-10.1.1/HOL4/src/real/ |
| H A D | prove_real_assumsScript.sml | 62 val rep = ``real_REP`` value
|
| /seL4-l4v-10.1.1/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-10.1.1/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-10.1.1/HOL4/src/holyhammer/ |
| H A D | hhTranslate.sml | 181 val rep = list_mk_comb (v,fvl) value
|
| /seL4-l4v-10.1.1/HOL4/src/datatype/ |
| H A D | EnumType.sml | 352 val rep = ty ^ "2num" value
|
| /seL4-l4v-10.1.1/HOL4/src/datatype/mutrec/ |
| H A D | MutRecDef.sml | 494 val rep = mk_const{Name = rep_name, value
[all...] |
| /seL4-l4v-10.1.1/HOL4/src/quotient/src/ |
| H A D | quotient.sml | 659 val rep = el 3 R_abs_rep value
1360 val rep = (hd o tl o tl) args value
1583 val rep = (hd o tl o tl) Rar value
1675 val rep = hd (tl (tl Rar)) value
2144 val rep = hd (tl (tl Rar)) value
[all...] |
| /seL4-l4v-10.1.1/HOL4/src/bool/ |
| H A D | boolScript.sml | 2535 val rep = ���rep :'b -> 'a��� value
2585 val rep = rator t1r value
[all...] |
Completed in 147 milliseconds