]> matita.cs.unibo.it Git - helm.git/commit
duality is a joke
authorEnrico Tassi <enrico.tassi@inria.fr>
Sat, 25 Oct 2008 14:00:27 +0000 (14:00 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Sat, 25 Oct 2008 14:00:27 +0000 (14:00 +0000)
commitc231702a57076acf0c161cdb4799bf83158175f0
tree5bb5cf7b097d40edc4dd24cd155873b58e2a815f
parent7958e5cb010a06e744de3a4f859557bd31af5083
duality is a joke
helm/software/matita/contribs/dama/dama/bishop_set.ma
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