Diffusion afp-devel 4b5944e86bd6

adapted to new definition of wfP following Isabelle/233d70cad0cf
4b5944e86bd6
Actions

Tags

None

Subscribers

None

Description

adapted to new definition of wfP following Isabelle/233d70cad0cf

Details

Provenance

Authored on

Parents

rAFPdef25b977c4a: updated url

Branches

Unknown

Tags

Unknown

Event Timeline

desharna committed rAFP4b5944e86bd6: adapted to new definition of wfP following Isabelle/233d70cad0cf.Mar 23 2024, 7:26 AM

Changes (3)

Path

Size

thys/

Nominal2/

nominal_function_core.ML

Simple_Clause_Learning/

Termination.thy

Wellfounded_Extra.thy

rAFP4b5944e86bd6

thys/Nominal2/nominal_function_core.ML

Loading...

thys/Simple_Clause_Learning/Termination.thy

Loading...

thys/Simple_Clause_Learning/Wellfounded_Extra.thy

Loading...