• DIVERIO Diego's avatar
    Fixed issue #388: · 8db2a355
    DIVERIO Diego authored
    User axioms are tagged with @useraxiom attribute, which is removed when cloning.
    8db2a355
pmodule.ml 48.6 KB