]> matita.cs.unibo.it Git - helm.git/commit
new specification
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 30 Jun 2008 22:50:55 +0000 (22:50 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 30 Jun 2008 22:50:55 +0000 (22:50 +0000)
commitd309714a7f00acfae311fa24612e57e9be085ff3
treed2551421be19be6bfe37beec7c79d30d9cf825d6
parentf4683c14c4b45e1844a4cfa91b706f41096ad98e
new specification
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_function.ma