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

/seL4-l4v-master/HOL4/src/simp/src/
H A DSatisfy.sml[all...]
/seL4-l4v-master/HOL4/examples/miller/subtypes/
H A DsubtypeTools.sml409 val facts = factdb_add_vthms subtypes (subtype_context_facts sc) value
[all...]
/seL4-l4v-master/HOL4/src/tfl/src/
H A DDefn.sml1269 val facts = TypeBase.theTypeBase () value
[all...]

Completed in 115 milliseconds