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

/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DClause.sml225 val {ordering,...} = parameters value
[all...]
H A DActive.sml262 val {ordering,...} = clause value
[all...]
H A Dselftest.sml1052 val ordering = value
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DClause.sml225 val {ordering,...} = parameters value
[all...]
H A DActive.sml262 val {ordering,...} = clause value
[all...]
H A Dselftest.sml1052 val ordering = value
/seL4-l4v-10.1.1/HOL4/examples/lambda/basics/
H A DtermScript.sml639 val ordering = prove( value
/seL4-l4v-10.1.1/HOL4/examples/lambda/barendregt/
H A Dfinite_developmentsScript.sml583 val ordering = prove( value
623 val ordering = prove( value
709 val ordering = prove( value

Completed in 162 milliseconds