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 triaged this task as Low priority.Tue, Jul 21, 12:52 PM
makarius created this task.