]> matita.cs.unibo.it Git - helm.git/commit
some work
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 2 Jul 2008 21:43:55 +0000 (21:43 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 2 Jul 2008 21:43:55 +0000 (21:43 +0000)
commiteabdca1b931aa21e17a63ad34a3f43b4f79e4c5b
tree2cbcfd9ddd51dc0fadd0c7060a775e50b155072a
parent1763ec847d4e9b0213d7c18ecbd4a788c00994a5
some work
helm/software/matita/contribs/dama/dama/depends
helm/software/matita/contribs/dama/dama/depends.png
helm/software/matita/contribs/dama/dama/models/q_bars.ma