Kernel Package

This theory groups the minimal set of predicates that need to be predefined by the interpreter itself:

Comments