Searched defs:latest (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-master/HOL4/src/refute/
H A DCanon.sig35 val latest : (thm * thm * term) option ref value
H A DrefuteLib.sig35 val latest : (thm * thm * term) option ref value
H A DCanon.sml559 val latest = ref (NONE: (thm * thm * term) option); value

Completed in 30 milliseconds