logic-pred

Vocabulary

logic.private

Definition

IN: logic.private

TUPLE: logic-pred name defs ;