• 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
Name
Last commit
Last update
F_mu Loading commit data...
F_mu_ref Loading commit data...
prelude Loading commit data...
stlc Loading commit data...
.gitignore Loading commit data...
Makefile Loading commit data...
_CoqProject Loading commit data...