Diffusion afp-devel 5731b2cd4e7e

refactored proof
5731b2cd4e7e
Actions

Tags

None

Subscribers

None

Description

refactored proof

Details

Provenance

Authored on

Parents

rAFP7a2ce7565093: merged

Branches

Unknown

Tags

Unknown

Event Timeline

traytel committed rAFP5731b2cd4e7e: refactored proof.Nov 6 2023, 4:25 PM

Changes (1)

Path

Size

thys/

Ordered_Resolution_Prover/

Lazy_List_Chain.thy

rAFP5731b2cd4e7e

thys/Ordered_Resolution_Prover/Lazy_List_Chain.thy

Loading...