]> matita.cs.unibo.it Git - helm.git/commit
non ho resistito!
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 28 Sep 2009 19:27:14 +0000 (19:27 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 28 Sep 2009 19:27:14 +0000 (19:27 +0000)
commit32af98424d4320a4a38fff23ac0398e026fe0ffc
tree6c3a88f201a5ea5598b99fc505fe243d534d2541
parentf1c4852a4359cf278ed00d73d608856ff46bafbb
non ho resistito!
helm/software/matita/nlibrary/sets/partitions.ma
helm/software/matita/nlibrary/sets/sets.ma
helm/software/matita/nlibrary/topology/igft.ma