]> matita.cs.unibo.it Git - helm.git/commit
lost in the wood
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 27 Jun 2008 16:32:24 +0000 (16:32 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 27 Jun 2008 16:32:24 +0000 (16:32 +0000)
commit052140f5d87dabd49f798b5cf42e35e1df411db3
tree41b008186ecf030bbbef9e3172e2cf61cdc3db24
parent6b61a9e6698a7c1936adf217b599e34e65a5e4c9
lost in the wood
helm/software/matita/contribs/dama/dama/models/q_function.ma
helm/software/matita/contribs/dama/dama/models/q_support.ma