]> matita.cs.unibo.it Git - helm.git/commit
sandwitch theorem done
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 4 Dec 2007 09:55:44 +0000 (09:55 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 4 Dec 2007 09:55:44 +0000 (09:55 +0000)
commit11f667afbb87725dd5e243d4b3717d19f584a481
treee6998ae9d3e152809bf8371d2822bcad122c5558
parent5995a1924405fbc2f22d6ac154217b2548878be5
sandwitch theorem done
helm/software/matita/dama/divisible_group.ma
helm/software/matita/dama/group.ma
helm/software/matita/dama/metric_lattice.ma
helm/software/matita/dama/ordered_divisible_group.ma
helm/software/matita/dama/premetric_lattice.ma
helm/software/matita/dama/sandwich.ma [new file with mode: 0644]