• Mário Pereira's avatar
    Coercions · 11469bf5
    Mário Pereira authored
    Started a module to contain operations specific to coercions
    11469bf5
theory.ml 28.3 KB