HomeIsabelle/Phabricator

always check if node is defined, e.g. for exists_next operation wit empty…

Description

always check if node is defined, e.g. for exists_next operation wit empty schedule;

Details

Provenance
Fabian Huch <huch@in.tum.de>Authored on
Parents
rISABELLE7bac6bd83cc3: fixed typo
Branches
Unknown
Tags
Unknown