Diffusion afp-devel 3d9fda46b516

removed stuff moved to the Isabelle distribution
3d9fda46b516
Actions

Tags

None

Subscribers

None

Description

removed stuff moved to the Isabelle distribution

Details

Provenance

Authored on

Parents

rAFPedbde774b3fa: merged

Branches

Unknown

Tags

Unknown

Event Timeline

desharna committed rAFP3d9fda46b516: removed stuff moved to the Isabelle distribution.Mar 26 2024, 9:57 AM

Changes (1)

Path

Size

thys/

Simple_Clause_Learning/

Wellfounded_Extra.thy

rAFP3d9fda46b516

thys/Simple_Clause_Learning/Wellfounded_Extra.thy

Loading...