]> matita.cs.unibo.it Git - helm.git/commit
end of section 2.2
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 3 Jun 2008 12:09:21 +0000 (12:09 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 3 Jun 2008 12:09:21 +0000 (12:09 +0000)
commit695cc9c1ead293e380709ebcd98818e019b8e49e
tree9d8e410224106f3e64000f28b162e6b67a5a208a
parent20c68603cc71aeb957d5e974558d908f2261fb6d
end of section 2.2
helm/software/matita/contribs/dama/dama/depends
helm/software/matita/contribs/dama/dama/supremum.ma