• MARCHE Claude's avatar
    fix issue #85 · 25acc03a
    MARCHE Claude authored
    The naming is now "consistent" in the sense that a transformation
    argument is not taken in place of another.
    
    However, it does not solve all the issues related to using
    the IDE without the "introduce premises" enabled.
    25acc03a
demo-itp.mlw 4.15 KB