Diffusion Isabelle d33fc5228aae

added predicates trans_on and transp_on and redefined trans and transp to be…
d33fc5228aae
Actions

Tags

None

Subscribers

None

Description

added predicates trans_on and transp_on and redefined trans and transp to be abbreviations

Details

Provenance

Authored on

Parents

rISABELLE0b5efc6de385: merged

Branches

Unknown

Tags

Unknown

Event Timeline

desharna committed rISABELLEd33fc5228aae: added predicates trans_on and transp_on and redefined trans and transp to be….Dec 19 2022, 3:33 PM

desharna mentioned this in rAFP13c86139b9cb: adapted to Isabelle/d33fc5228aae.Dec 23 2022, 12:18 PM

Changes (3)

Path

Size

src/

HOL/

Tools/

BNF/

rISABELLEd33fc5228aae

NEWS

Loading...

src/HOL/Relation.thy

Loading...

src/HOL/Tools/BNF/bnf_util.ML

Loading...