]> matita.cs.unibo.it Git - helm.git/tree
- rc_sat.ma: we changed the notation for extensional equality. we now
drwxr-xr-x - helm
drwxr-xr-x - matita
drwxr-xr-x - matitaB