Diffusion Isabelle e5d88927e017

introduced predicate reflp_on and redefined reflp to be an abbreviation
e5d88927e017
Actions

Tags

None

Subscribers

None

Description

introduced predicate reflp_on and redefined reflp to be an abbreviation

Details

Provenance

Authored on

Parents

rISABELLE5cd5f9059f81: merged

Branches

Unknown

Tags

Unknown

Event Timeline

desharna committed rISABELLEe5d88927e017: introduced predicate reflp_on and redefined reflp to be an abbreviation.Jun 4 2022, 3:43 PM

Changes (4)

Path

Size

src/

HOL/

Tools/

BNF/

Lifting/

lifting_setup.ML

rISABELLEe5d88927e017

NEWS

Loading...

src/HOL/Relation.thy

Loading...

src/HOL/Tools/BNF/bnf_util.ML

Loading...

src/HOL/Tools/Lifting/lifting_setup.ML

Loading...