LOGIC-VAR

Vocabulary

logic.private

Definition

IN: logic.private

MIXIN: LOGIC-VAR
INSTANCE: NORMAL-LOGIC-VAR LOGIC-VAR
INSTANCE: ANONYMOUSE-LOGIC-VAR LOGIC-VAR