HomeIsabelle/Phabricator

test_bit_size not longer needed; avoid potential nontermination