]> matita.cs.unibo.it Git - helm.git/commitdiff
generic version, specializing generic_sigma_p.ma
authorCristian Armentano <??>
Fri, 29 Jun 2007 16:30:31 +0000 (16:30 +0000)
committerCristian Armentano <??>
Fri, 29 Jun 2007 16:30:31 +0000 (16:30 +0000)

No differences found