]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c51c5b1) | patch
the attempt of completing dama using duality frozen
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 28 May 2008 10:39:13 +0000 (10:39 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 28 May 2008 10:39:13 +0000 (10:39 +0000)
commitc077ca16ea87ba612435a47eee714b5388204d93
tree8e41ac5ce4d1a3f575cf6707dc9e623ddfbd38a5tree | snapshot
parentc51c5b1e6e002614f8f1fd79ddf94f706ef69cd5commit | diff
the attempt of completing dama using duality frozen
38 files changed:
helm/software/matita/contribs/dama/dama/lattice.ma diff | blob | history
helm/software/matita/contribs/dama/dama_duality/Makefile [new file with mode: 0644] blob
helm/software/matita/contribs/dama/dama_duality/Q_is_orded_divisble_group.ma [new file with mode: 0644] blob
helm/software/matita/contribs/dama/dama_duality/TODO [new file with mode: 0644] blob
helm/software/matita/contribs/dama/dama_duality/attic/fields.ma [new file with mode: 0644] blob
helm/software/matita/contribs/dama/dama_duality/attic/integration_algebras.ma [new file with mode: 0644] blob
helm/software/matita/contribs/dama/dama_duality/attic/ordered_fields_ch0.ma [new file with mode: 0644] blob
helm/software/matita/contribs/dama/dama_duality/attic/reals.ma [new file with mode: 0644] blob
helm/software/matita/contribs/dama/dama_duality/attic/rings.ma [new file with mode: 0644] blob
helm/software/matita/contribs/dama/dama_duality/attic/vector_spaces.ma [new file with mode: 0644] blob
helm/software/matita/contribs/dama/dama_duality/classical_pointfree/ordered_sets.ma [new file with mode: 0644] blob
helm/software/matita/contribs/dama/dama_duality/classical_pointfree/ordered_sets2.ma [new file with mode: 0644] blob
helm/software/matita/contribs/dama/dama_duality/classical_pointwise/sets.ma [new file with mode: 0644] blob
helm/software/matita/contribs/dama/dama_duality/classical_pointwise/sigma_algebra.ma [new file with mode: 0644] blob
helm/software/matita/contribs/dama/dama_duality/classical_pointwise/topology.ma [new file with mode: 0644] blob
helm/software/matita/contribs/dama/dama_duality/constructive_connectives.ma [new file with mode: 0644] blob
helm/software/matita/contribs/dama/dama_duality/constructive_higher_order_relations.ma [new file with mode: 0644] blob
helm/software/matita/contribs/dama/dama_duality/constructive_pointfree/lebesgue.ma [new file with mode: 0644] blob
helm/software/matita/contribs/dama/dama_duality/depends [new file with mode: 0644] blob
helm/software/matita/contribs/dama/dama_duality/divisible_group.ma [new file with mode: 0644] blob
helm/software/matita/contribs/dama/dama_duality/doc/DIMOSTRAZIONE [new file with mode: 0644] blob
helm/software/matita/contribs/dama/dama_duality/doc/NotaReticoli.pdf [new file with mode: 0644] blob
helm/software/matita/contribs/dama/dama_duality/excess.ma [new file with mode: 0644] blob
helm/software/matita/contribs/dama/dama_duality/group.ma [new file with mode: 0644] blob
helm/software/matita/contribs/dama/dama_duality/infsup.ma [new file with mode: 0644] blob
helm/software/matita/contribs/dama/dama_duality/lattice.ma [new file with mode: 0644] blob
helm/software/matita/contribs/dama/dama_duality/limit.ma [new file with mode: 0644] blob
helm/software/matita/contribs/dama/dama_duality/metric_lattice.ma [new file with mode: 0644] blob
helm/software/matita/contribs/dama/dama_duality/metric_space.ma [new file with mode: 0644] blob
helm/software/matita/contribs/dama/dama_duality/ordered_divisible_group.ma [new file with mode: 0644] blob
helm/software/matita/contribs/dama/dama_duality/ordered_group.ma [new file with mode: 0644] blob
helm/software/matita/contribs/dama/dama_duality/premetric_lattice.ma [new file with mode: 0644] blob
helm/software/matita/contribs/dama/dama_duality/prevalued_lattice.ma [new file with mode: 0644] blob
helm/software/matita/contribs/dama/dama_duality/root [new file with mode: 0644] blob
helm/software/matita/contribs/dama/dama_duality/sandwich.ma [new file with mode: 0644] blob
helm/software/matita/contribs/dama/dama_duality/sandwich_corollary.ma [new file with mode: 0644] blob
helm/software/matita/contribs/dama/dama_duality/sequence.ma [new file with mode: 0644] blob
helm/software/matita/contribs/dama/dama_duality/tend.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.