Diffusion Isabelle 233d70cad0cf

redefined wfP as an abbreviation for "wfp_on UNIV"
233d70cad0cf
Actions

Tags

None

Subscribers

None

Description

redefined wfP as an abbreviation for "wfp_on UNIV"

Details

Provenance

Authored on

Parents

rISABELLE4bcf3d5da98b: merged

Branches

Unknown

Tags

Unknown

Event Timeline

desharna committed rISABELLE233d70cad0cf: redefined wfP as an abbreviation for "wfp_on UNIV".Mar 21 2024, 11:24 AM

Changes (3)

Path

Size

src/

HOL/

Tools/

Function/

function_core.ML

Wellfounded.thy

rISABELLE233d70cad0cf

NEWS

Loading...

src/HOL/Tools/Function/function_core.ML

Loading...

src/HOL/Wellfounded.thy

Loading...