Searched defs:nam (Results 1 - 4 of 4) sorted by relevance
| /seL4-l4v-master/HOL4/examples/acl2/examples/M1/ |
| H A D | sexp.sml | 1932 let val (nam,params,bdy) = dest_mldefun d value
1955 let val (nam,params,quant,qvars,bdy) = dest_mldefun_sk d value
1984 let val (nam,bdy) = dest_mldefthm d value
1993 let val (nam,bdy) = dest_mldefaxiom d value
[all...] |
| /seL4-l4v-master/HOL4/examples/acl2/examples/acl2-hol-ltl-paper-example/ |
| H A D | sexp.sml | 1858 let val (nam,params,bdy) = dest_mldefun d value
1879 let val (nam,params,quant,qvars,bdy) = dest_mldefun_sk d value
1906 let val (nam,bdy) = dest_mldefthm d value
1915 let val (nam,bdy) = dest_mldefaxiom d value
[all...] |
| /seL4-l4v-master/HOL4/examples/acl2/ml/ |
| H A D | sexp.sml | 1858 let val (nam,params,bdy) = dest_mldefun d value
1879 let val (nam,params,quant,qvars,bdy) = dest_mldefun_sk d value
1906 let val (nam,bdy) = dest_mldefthm d value
1915 let val (nam,bdy) = dest_mldefaxiom d value
[all...] |
| /seL4-l4v-master/HOL4/src/quotient/src/ |
| H A D | quotient.sml | 1515 val nam = defname def value
|
Completed in 197 milliseconds