Searched defs:line2 (Results 1 - 1 of 1) sorted by relevance
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/ | ||
H A D | mechReasoning.sml | 308 val line2 = "``"^(term_to_string term)^"``,"; value 319 val line2 = "([], ``"^(term_to_string term)^"``);"; value |
Completed in 52 milliseconds