![[Jenkins]](/jenkins/static/109fb1e5/images/svgs/logo.svg){kind=logo}
Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)
Summary
- adjusted Simple_Clause_Learning from AFP 2022 to AFP devel
| The file was modified | thys/Simple_Clause_Learning/Completeness.thy |
| The file was modified | thys/Simple_Clause_Learning/Correct_Termination.thy |
| The file was modified | thys/Simple_Clause_Learning/Initial_Literals_Generalize_Learned_Literals.thy |
| The file was modified | thys/Simple_Clause_Learning/Ordered_Resolution_Prover_Extra.thy |
| The file was modified | thys/Simple_Clause_Learning/Relation_Extra.thy |
| The file was modified | thys/Simple_Clause_Learning/SCL_FOL.thy |
| The file was modified | thys/Simple_Clause_Learning/Termination.thy |
| The file was removed | thys/Simple_Clause_Learning/First_Order_Terms_Extra.thy |