HomeIsabelle/Phabricator

Change test of a boolean variable to use logical-and and then use test-and…

Description

Change test of a boolean variable to use logical-and and then use test-and-branch for it.

Details

Provenance
dcjmAuthored on Jan 21 2022, 2:16 PM
Parents
rPOLYML09c4a3c9b82c: Remove CacheCheck that was added for debugging and is no longer needed.
Branches
Unknown
Tags
Unknown