]> matita.cs.unibo.it Git - helm.git/commit
some work
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 26 Sep 2008 08:00:53 +0000 (08:00 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 26 Sep 2008 08:00:53 +0000 (08:00 +0000)
commit99feea74c16b4801a2b1596d5e48e27224ffbfaa
treea4e912d85f53282c83c5187642bfca59c2ccfa0a
parent64eb7ed82fa34d58b0c67b9d93b294e64d50378f
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
helm/software/matita/contribs/dama/dama/models/q_copy.ma
helm/software/matita/contribs/dama/dama/models/q_function.ma
helm/software/matita/contribs/dama/dama/models/q_rebase.ma
helm/software/matita/contribs/dama/dama/models/q_shift.ma [deleted file]
helm/software/matita/contribs/dama/dama/models/q_value_skip.ma [deleted file]