HomeIsabelle/Phabricator

fixed diverging simproc cont_intro