]> matita.cs.unibo.it Git - helm.git/commit
carabinieri almost done
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 30 Nov 2007 17:57:32 +0000 (17:57 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 30 Nov 2007 17:57:32 +0000 (17:57 +0000)
commitf86ba51fa84583b5963fca03687cd23b838a99f5
tree328ac18b185472387ba21b3c32f0074b05c446e1
parent39c55604f8114e2e8f9f9769acd328de8f19c7e4
carabinieri almost done
helm/software/matita/dama/excedence.ma
helm/software/matita/dama/metric_lattice.ma
helm/software/matita/dama/ordered_set.ma
helm/software/matita/dama/sequence.ma