get_props : model -> (string * term) list
STRUCTURE
holCheckLib
SYNOPSIS
Returns the properties that will be checked for this HolCheck model. Throws an exception if no properties have been set.
SEEALSO
holCheck
,
set_props
HOL
Kananaskis-10