]> matita.cs.unibo.it Git - helm.git/commit
more notation
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 13 Jun 2008 07:14:52 +0000 (07:14 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 13 Jun 2008 07:14:52 +0000 (07:14 +0000)
commit3c1ca5620048ad842144fba291f8bc5f0dca7061
tree0fefccc59c5c4146de978621adf4ead165edf711
parentad92eaa883676a06a1e3aed54f08f44e5d160e9c
more notation
helm/software/matita/contribs/dama/dama/bishop_set.ma
helm/software/matita/contribs/dama/dama/cprop_connectives.ma
helm/software/matita/contribs/dama/dama/depends
helm/software/matita/contribs/dama/dama/nat_ordered_set.ma
helm/software/matita/contribs/dama/dama/ordered_uniform.ma
helm/software/matita/contribs/dama/dama/sequence.ma
helm/software/matita/contribs/dama/dama/supremum.ma
helm/software/matita/contribs/dama/dama/uniform.ma