Search

Home

Sort by

Full Search
Definition
Symbol
File Path
History
Type

In Project(s)

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

/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A D	problems.sml	`43 val problems : problem list = value [all...]`
H A D	problems2tptp.sml	`156 val problems = value [all...]`
H A D	metis.sml	`515 val problems = Tptp.normalize tptp value`
H A D	Tptp.sml	`2173 val problems = List.map #problem (normalize problem) value`
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A D	problems.sml	`43 val problems : problem list = value [all...]`
H A D	problems2tptp.sml	`156 val problems = value [all...]`
H A D	metis.sml	`515 val problems = Tptp.normalize tptp value`
H A D	Tptp.sml	`2173 val problems = List.map #problem (normalize problem) value`

Completed in 65 milliseconds