proposit-core
    Preparing search index...

    Variable LEGACY_MISSING_AXIOM_SLOTConst

    LEGACY_MISSING_AXIOM_SLOT: "LEGACY_MISSING_AXIOM_SLOT"