]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c5cee90) | patch
yes! the lattice_(#) -> prelattice(<) -> lattice(< -> #) works!
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 16 Jan 2008 12:04:06 +0000 (12:04 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 16 Jan 2008 12:04:06 +0000 (12:04 +0000)
commitb3dd479a0a36aeea948dcea09336fe8dfec1462d
tree93b7ab7e3e6b110fd37b22b4c51938cf04ce811ftree | snapshot
parentc5cee90d95a54db8897a688f0bade4c503d82e15commit | diff
yes! the lattice_(#) -> prelattice(<) -> lattice(< -> #) works!
helm/software/matita/dama/excess.ma diff | blob | history
helm/software/matita/dama/infsup.ma diff | blob | history
helm/software/matita/dama/lattice.ma diff | blob | history
helm/software/matita/dama/metric_lattice.ma diff | blob | history
helm/software/matita/dama/metric_space.ma diff | blob | history
helm/software/matita/dama/sandwich_corollary.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.