Searched defs:abs_type (Results 1 - 5 of 5) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/ARM_security_properties/
H A Dpriv_constraints_spsrScript.sml44 val abs_type = type_of a_abs value
H A Dpriv_constraints_bisimScript.sml45 val abs_type = type_of a_abs value
H A Dpriv_constraints_lrScript.sml43 val abs_type = type_of a_abs value
H A DARM_prover_extLib.sml261 val abs_type = type_of a_abs value
455 val abs_type = type_of a_abs value
645 val abs_type = type_of a_abs value
H A DARM_proverLib.sml417 val abs_type = type_of a_abs value
799 val abs_type = type_of a_abs value

Completed in 101 milliseconds