I
ncredible_
P
roof_
M
achine
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