| /seL4-l4v-10.1.1/HOL4/tools/mlyacc/mlyacclib/ |
| H A D | MLY_stream.sml | 40 fun cons(a,s) = ref(EVAL(a,s)) function
|
| H A D | MLY_base-sig.sml | 36 val cons : '_a * '_a stream -> '_a stream value
|
| /seL4-l4v-10.1.1/isabelle/src/HOL/TPTP/TPTP_Parser/ml-yacc/lib/ |
| H A D | stream.sml | 17 fun cons(a,s) = ref(EVAL(a,s)) function
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/HOL/TPTP/TPTP_Parser/ml-yacc/lib/ |
| H A D | stream.sml | 17 fun cons(a,s) = ref(EVAL(a,s)) function
|
| /seL4-l4v-10.1.1/HOL4/examples/acl2/tests/inputs/ |
| H A D | test2.lisp | |
| /seL4-l4v-10.1.1/HOL4/examples/dev/sw/ |
| H A D | UList.sml | 9 fun cons x l = x::l function
|
| /seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.1/ |
| H A D | UList.sml | 9 fun cons x l = x::l function
|
| /seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.2/util/ |
| H A D | UList.sml | 9 fun cons x l = x::l function
|
| /seL4-l4v-10.1.1/HOL4/src/0/ |
| H A D | Subst.sig | 6 val cons : 'a subs * 'a -> 'a subs value
|
| H A D | Subst.sml | 46 val cons = Cons; value
|
| /seL4-l4v-10.1.1/HOL4/src/parse/ |
| H A D | TypeNet.sml | |
| H A D | LVTermNet.sml | |
| H A D | LVTermNetFunctor.sml | |
| /seL4-l4v-10.1.1/HOL4/src/portableML/ |
| H A D | seq.sig | 38 val cons : 'a -> 'a seq -> 'a seq value
|
| H A D | seq.sml | 24 fun cons x xs = LCONS(x, xs) function
|
| H A D | smpp.sml | 65 fun cons x xs = x::xs function
|
| /seL4-l4v-10.1.1/HOL4/examples/elliptic/ |
| H A D | Stream.sig | 32 val cons : 'a -> (unit -> 'a stream) -> 'a stream value
|
| H A D | Stream.sml | 41 fun cons h t = CONS (h,t); function
|
| /seL4-l4v-10.1.1/HOL4/src/metis/ |
| H A D | mlibStream.sig | 20 val cons : 'a -> (unit -> 'a stream) -> 'a stream value
|
| H A D | mlibStream.sml | 31 fun cons h t = CONS (h,t); function
|
| /seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/ |
| H A D | Stream.sig | 32 val cons : 'a -> (unit -> 'a stream) -> 'a stream value
|
| H A D | Stream.sml | 37 fun cons h t = Cons (h,t); function
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/ |
| H A D | Stream.sig | 32 val cons : 'a -> (unit -> 'a stream) -> 'a stream value
|
| /seL4-l4v-10.1.1/HOL4/src/IndDef/ |
| H A D | IndDefLib.sml | 76 val cons = strip_conj con value
|
| /seL4-l4v-10.1.1/HOL4/examples/acl2/lisp/ |
| H A D | book-essence.lisp | [all...] |