Searched defs:BEFORE (Results 1 - 2 of 2) sorted by relevance
/seL4-l4v-master/HOL4/src/temporal/src/ | ||
H A D | Temporal_LogicScript.sml | 47 val BEFORE = new_infixr_definition("BEFORE", value [all...] |
H A D | temporalLib.sml | 86 val BEFORE = Term`$BEFORE` value |
Completed in 84 milliseconds