]> matita.cs.unibo.it Git - helm.git/commit
snopshot before isabellization
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 21 Jan 2008 11:21:36 +0000 (11:21 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 21 Jan 2008 11:21:36 +0000 (11:21 +0000)
commit55dc87ec418b5b8afe10164cfc61b5ad80a88e6c
tree17902a1d4f8de4f54eecd24827c4adc442b82587
parent24b1ff241e9b3428f8f5275a4ac9e8d0ca20d82f
snopshot before isabellization
helm/software/matita/dama/excess.ma
helm/software/matita/dama/lattice.ma
helm/software/matita/dama/metric_lattice.ma
helm/software/matita/dama/sandwich.ma