]> matita.cs.unibo.it Git - helm.git/commit
Experiment...
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 28 Sep 2009 11:12:13 +0000 (11:12 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 28 Sep 2009 11:12:13 +0000 (11:12 +0000)
commit8cb2490b5b202549a596cfd1d0f166a5ee43fc4e
tree19feef79af01782bdc6f31c6a95af46df0765158
parent68cadaa38277ea16ce97b3ed24884420c19eac20
Experiment...
helm/software/matita/nlibrary/logic/cprop.ma
helm/software/matita/nlibrary/sets/partitions.ma
helm/software/matita/nlibrary/sets/sets.ma