• Amin Timany's avatar
    We don't use: · a0f07fe1
    Amin Timany authored
    - ownI_proper for inv
    - later_contractive for later_ne
    anymore. Instead we use (contractive_proper _) and (contractive_ne _).
    
    Instead we can use (contractive)
    a0f07fe1
logrel.v 19.6 KB