]> matita.cs.unibo.it Git - helm.git/commit
some work on uniformity
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 3 Jun 2008 15:56:51 +0000 (15:56 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 3 Jun 2008 15:56:51 +0000 (15:56 +0000)
commit1509e99ac3aba0e725ac7ced7db20d5d23ea276a
treeb348fe0b15ffc1742cd6039bc3935d635e5090af
parent695cc9c1ead293e380709ebcd98818e019b8e49e
some work on uniformity
helm/software/matita/contribs/dama/dama/depends
helm/software/matita/contribs/dama/dama/ordered_uniform.ma [new file with mode: 0644]
helm/software/matita/contribs/dama/dama/uniform.ma [new file with mode: 0644]