HomeIsabelle/Phabricator

discontinued obsolete "val extend = I" for data slots;