]> matita.cs.unibo.it Git - helm.git/commit
initial qork for models
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 10 Jun 2008 13:26:13 +0000 (13:26 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 10 Jun 2008 13:26:13 +0000 (13:26 +0000)
commitb1087303f8e1601aaa3723c42a32626b31e5b10e
treeb0f6b4a0e89c6f20e1934e6f7e50925dd7c572c2
parenta86cfc58f7711a50c164a0b8c9f65f9050d60565
initial qork for models
helm/software/matita/contribs/dama/dama/bishop_set.ma
helm/software/matita/contribs/dama/dama/depends
helm/software/matita/contribs/dama/dama/extra.ma [deleted file]
helm/software/matita/contribs/dama/dama/models/uniformnat.ma [new file with mode: 0644]