Isabelle_2024_Compatibility

Ground_Ordered_Resolution

Lower_Set

HOL_Extra_Extra

The_Optional

Full_Run

Background

ORD_RES

ORD_RES_1

Exhaustive_Factorization

ORD_RES_2

Exhaustive_Resolution

ORD_RES_3

Implicit_Exhaustive_Factorization

ORD_RES_4

ORD_RES_5

ORD_RES_6

ORD_RES_7

Clause_Could_Propagate

ORD_RES_8

ORD_RES_9

ORD_RES_10

ORD_RES_11

Simulation_SCLFOL_ORDRES