Indexed_FSet

Abstract_Formula

Incredible_Signatures

Incredible_Deduction

Abstract_Rules

Abstract_Rules_To_Incredible

Entailment

Natural_Deduction

Incredible_Correctness

Rose_Tree

Incredible_Trees

Build_Incredible_Tree

Incredible_Completeness

Incredible_Everything

Propositional_Formulas

Incredible_Propositional

Incredible_Propositional_Tasks

Predicate_Formulas

Incredible_Predicate

Incredible_Predicate_Tasks