]> matita.cs.unibo.it Git - helm.git/commit
...
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 22 Jul 2008 08:34:00 +0000 (08:34 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 22 Jul 2008 08:34:00 +0000 (08:34 +0000)
commitb5564e329d48efa6c2ca01da18203def26a70294
treeb10d6bf3d56624cb6b64b7599a92606d35b43594
parent00c99933872f0eb457e62354cc1a317e4359188e
...
helm/software/matita/contribs/dama/dama/models/q_function.ma