Page MenuHomeIsabelle/Phabricator

Discontinue obsolete Theory_Data.extend
Open, LowPublic

Description

Theory_Data.extend is obsolete since Isabelle/efb7fd4a6d1f but still present in the signature to allow for explicit checking of its required behaviour as identity function.

After the next (or a later) release, it can be discontinued altogether.

Event Timeline

makarius created this task.