]> matita.cs.unibo.it Git - helm.git/search
Implementation of existential type improved (more strict checking).