Searched defs:ALWAYS (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-master/HOL4/src/temporal/src/
H A DTemporal_LogicScript.sml25 val ALWAYS = new_definition("ALWAYS", ���ALWAYS P t0 = !t:num.P(t+t0)���); value
[all...]
H A DtemporalLib.sml78 val ALWAYS = Term`ALWAYS` value
[all...]

Completed in 82 milliseconds