Searched defs:THEORY (Results 1 - 2 of 2) sorted by relevance
/seL4-l4v-master/HOL4/src/parse/ | ||
H A D | Hol_pp.sml | 101 val THEORY(_,{parents,types, consts, value |
/seL4-l4v-master/HOL4/src/holyhammer/ | ||
H A D | hhExportSexpr.sml | 231 val THEORY(_,t) = dest_theory thy value |
Completed in 97 milliseconds