Searched defs:comments (Results 1 - 10 of 10) sorted by relevance

/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A Dproblems.sml25 val comments = if List.null comments then [] else "" :: comments value
26 val comments = "Description: " ^ description :: comments value
27 val comments = mkCollection collection :: comments value
[all...]
H A Dproblems2tptp.sml56 val comments = value
H A DTptp.sig178 type comments = string list type
H A Dmetis.sml211 val comments = [] value
H A DTptp.sml1763 type comments = string list; type
2098 val (comments,chars) = stripLineComments [] chars value
[all...]
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A Dproblems.sml25 val comments = if List.null comments then [] else "" :: comments value
26 val comments = "Description: " ^ description :: comments value
27 val comments = mkCollection collection :: comments value
[all...]
H A Dproblems2tptp.sml56 val comments = value
H A DTptp.sig178 type comments = string list type
H A Dmetis.sml211 val comments = [] value
H A DTptp.sml1763 type comments = string list; type
2098 val (comments,chars) = stripLineComments [] chars value
[all...]

Completed in 43 milliseconds