]> matita.cs.unibo.it Git - helm.git/commit
some work on duality, still not finisched
authorEnrico Tassi <enrico.tassi@inria.fr>
Sun, 19 Oct 2008 15:43:48 +0000 (15:43 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Sun, 19 Oct 2008 15:43:48 +0000 (15:43 +0000)
commitf36588e673e67f0758fdbec52baa515a28fd9a7a
tree40974f1577418c556245123b762a273e295ec649
parent5e7fed4f0dfab38419b9271000dd2a6c5f2868cb
some work on duality, still not finisched
helm/software/matita/contribs/dama/dama/bishop_set.ma
helm/software/matita/contribs/dama/dama/ordered_set.ma
helm/software/matita/contribs/dama/dama/ordered_uniform.ma
helm/software/matita/contribs/dama/dama/supremum.ma
helm/software/matita/contribs/dama/dama/uniform.ma