]> matita.cs.unibo.it Git - helm.git/commit
refactoring of some lemmas, shorter proofs
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 4 Dec 2007 18:40:03 +0000 (18:40 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 4 Dec 2007 18:40:03 +0000 (18:40 +0000)
commitdb3104b6a36b957d7be4c79e50f22fd0ffd90f0d
tree4b40d0c05478b565f0934d5f4999131b9bb14f7e
parent14139694d817bd900f7f0fb412c69cf431baaad9
refactoring of some lemmas, shorter proofs
helm/software/matita/dama/divisible_group.ma
helm/software/matita/dama/metric_lattice.ma
helm/software/matita/dama/ordered_divisible_group.ma
helm/software/matita/dama/ordered_group.ma
helm/software/matita/dama/sandwich.ma