Diffusion afp-devel 15aad96054f8

Remove stuff following Isabelle/d0205dde00bb and related changesets
15aad96054f8
Actions

Tags

None

Subscribers

None

Description

Remove stuff following Isabelle/d0205dde00bb and related changesets

Details

Provenance

Authored on

Parents

rAFP290c21126e86: fixed broken definitions and proofs following Isabelle/8d153846f65f

Branches

Unknown

Tags

Unknown

Event Timeline

desharna committed rAFP15aad96054f8: Remove stuff following Isabelle/d0205dde00bb and related changesets.Mar 18 2024, 4:09 PM

Changes (4)

Path

Size

thys/

Simple_Clause_Learning/

Initial_Literals_Generalize_Learned_Literals.thy

Termination.thy

Wellfounded_Extra.thy

rAFP15aad96054f8

thys/Simple_Clause_Learning/Initial_Literals_Generalize_Learned_Literals.thy

Loading...

thys/Simple_Clause_Learning/SCL_FOL.thy

Loading...

thys/Simple_Clause_Learning/Termination.thy

Loading...

thys/Simple_Clause_Learning/Wellfounded_Extra.thy

Loading...