]> matita.cs.unibo.it Git - helm.git/history - matita/contribs/dama/dama/classical_pointwise/sets.ma
branch for universe
[helm.git] / matita / contribs / dama / dama / classical_pointwise / sets.ma
2008-04-22 Enrico Tassibranch for universe universe-declared