]> matita.cs.unibo.it Git - helm.git/commit
firs step for dualization
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 14 Oct 2008 13:08:54 +0000 (13:08 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 14 Oct 2008 13:08:54 +0000 (13:08 +0000)
commitbf7f52019b3f65b6d635a8b49a63f0d95080f189
treecfa1ae373e20f6e5d694e798fb66a25b93c976e4
parente7966515539754b5a6efeed89ff8935ca137d651
firs step for dualization
helm/software/matita/contribs/dama/dama/bishop_set.ma
helm/software/matita/contribs/dama/dama/bishop_set_rewrite.ma
helm/software/matita/contribs/dama/dama/depends
helm/software/matita/contribs/dama/dama/depends.png
helm/software/matita/contribs/dama/dama/nat_ordered_set.ma
helm/software/matita/contribs/dama/dama/ordered_set.ma
helm/software/matita/contribs/dama/dama/supremum.ma