]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2acdb16) | patch
snapshot with more duality, almost where we left without duality
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 23 Jan 2008 12:44:39 +0000 (12:44 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 23 Jan 2008 12:44:39 +0000 (12:44 +0000)
commit9483f7e6c85ec11f88bdb219b2cebad2039b1a74
tree2cb8cb49cb2162c0259bdc0de71b51824635a1a3tree | snapshot
parent2acdb1608ef4601be89d3ca62e616c5cdf9fc8fccommit | diff
snapshot with more duality, almost where we left without duality
12 files changed:
helm/software/matita/dama/depends diff | blob | history
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/limit.ma [new file with mode: 0644] blob
helm/software/matita/dama/metric_lattice.ma diff | blob | history
helm/software/matita/dama/metric_space.ma diff | blob | history
helm/software/matita/dama/ordered_group.ma diff | blob | history
helm/software/matita/dama/sandwich.ma diff | blob | history
helm/software/matita/dama/sandwich_corollary.ma diff | blob | history
helm/software/matita/dama/sequence.ma diff | blob | history
helm/software/matita/dama/tend.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.