]> matita.cs.unibo.it Git - helm.git/commit
...
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 4 Oct 2009 14:43:48 +0000 (14:43 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 4 Oct 2009 14:43:48 +0000 (14:43 +0000)
commitdc7c02d8d8678d250a99dd6d012adcd69da63b75
tree11087cf9350b350a1de7eac31a35394e9bded194
parent19ae6eb1f1e41a730ce84d47128b0ab0348dae5d
...
helm/software/matita/nlibrary/sets/partitions.ma
helm/software/matita/nlibrary/sets/sets.ma