]> matita.cs.unibo.it Git - helm.git/commit
more work on dama
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 10 Jul 2008 08:00:45 +0000 (08:00 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 10 Jul 2008 08:00:45 +0000 (08:00 +0000)
commit8f4162a9db17a597d4fba49eb957009fc0268378
tree4fc5c73af6fcbed03468636d60fc2955e7bd6fd1
parent70211a10f741fe77945f5a720596df2b686f344d
more work on dama
helm/software/matita/contribs/dama/dama/models/list_support.ma
helm/software/matita/contribs/dama/dama/models/q_bars.ma
helm/software/matita/library/nat/compare.ma