Contains the logical abilities of the kernel. The classes herein are don't use
QEDEQ
objects. They just deal with
Element
instances and some other basic objects for proof checking. For location of errors the
ModuleContext
is used.