Searched defs:news (Results 1 - 4 of 4) sorted by relevance
| /seL4-l4v-master/isabelle/src/Tools/Metis/src/ |
| H A D | Units.sml | 76 val (news,th) = news_th value
89 val (news,th) = news_th value
93 val news = LiteralSet.union new news value
|
| /seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/ |
| H A D | Units.sml | 76 val (news,th) = news_th value
89 val (news,th) = news_th value
93 val news = LiteralSet.union new news value
|
| /seL4-l4v-master/HOL4/src/1/ |
| H A D | Pmatch.sml | 403 val news = map (fn (nf,rows) => {path = nf@rstp, rows=rows}) value
430 val news = map (fn (nf,rows) => {path = nf@rstp, rows=rows}) value
|
| /seL4-l4v-master/HOL4/src/tfl/src/ |
| H A D | Induction.sml | 245 val news = map(fn(grp,c) => {path=rstp,rows=map (expnd c) grp}) geqs value
280 val news = map (fn (nf,rows,c) => {path = nf@rstp, value
|
Completed in 114 milliseconds