Index of types
Index of exceptions
Index of values
Index of modules
Index of module types


Block
Tableaux blocks.
Constraint
Arithmetic constraints.
Formula
(Usual) Propositional formulae.
Indexes
Indexes.
Lemmas
Sets of lemmas.
Literal
Literals.
Looping
Looping interface.
Modified
Modify information.
Proposition
Propositional variables.
Purity
Pure literal elimination.
Regstab
The strategy for Regular Schemata TABleaux.
Satisfiability
Strategies.
Schema
Propositional schemata.
Substitution
Substitutions interface.
Variable
Index variables.