Searched defs:problems (Results 1 - 8 of 8) sorted by path

/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DTptp.sml2173 val problems = List.map #problem (normalize problem) value
H A Dmetis.sml515 val problems = Tptp.normalize tptp value
H A Dproblems.sml43 val problems : problem list = value
[all...]
H A Dproblems2tptp.sml156 val problems = value
[all...]
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DTptp.sml2173 val problems = List.map #problem (normalize problem) value
H A Dmetis.sml515 val problems = Tptp.normalize tptp value
H A Dproblems.sml43 val problems : problem list = value
[all...]
H A Dproblems2tptp.sml156 val problems = value
[all...]

Completed in 205 milliseconds