HomeIsabelle/Phabricator

used long version of definition to avoid conflict when introducing HOL.

Description

used long version of definition to avoid conflict when introducing HOL.monotone_on

Details

Provenance
desharnaAuthored on
Parents
rAFP29c7b0c57365: merge from afp-2021-1 (metadata consolidation)
Branches
Unknown
Tags
Unknown