Searched defs:category (Results 1 - 6 of 6) sorted by relevance

/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DProblem.sig54 type category = type
H A DProblem.sml88 type category = type
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DProblem.sig54 type category = type
H A DProblem.sml88 type category = type
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibCanon.sig40 type category = {prop : prop, equal : equal, horn : horn} type
H A DmlibCanon.sml217 type category = {prop : prop, equal : equal, horn : horn}; type

Completed in 37 milliseconds