]> matita.cs.unibo.it Git - helm.git/commit
more work
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 26 Jun 2008 21:35:10 +0000 (21:35 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 26 Jun 2008 21:35:10 +0000 (21:35 +0000)
commit6b61a9e6698a7c1936adf217b599e34e65a5e4c9
treedc5192ac8b5d4c3dab97a9d58f476c16b9f7b92f
parentd97f69b313893900ca2d57544fcd200eb06ee286
more work
helm/software/matita/contribs/dama/dama/models/q_bars.ma
helm/software/matita/contribs/dama/dama/models/q_function.ma
helm/software/matita/contribs/dama/dama/models/q_support.ma