get_trans : model -> (string * term) list
STRUCTURE
holCheckLib
SYNOPSIS
Returns a description of the transition system of the HolCheck model. Throws an exception if no transition system has been set.
SEEALSO
holCheck
,
set_trans
,
get_flag_ric
HOL
Kananaskis-10