matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

author	Enrico Tassi <enrico.tassi@inria.fr>
	Sat, 22 Mar 2008 11:17:17 +0000 (11:17 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Sat, 22 Mar 2008 11:17:17 +0000 (11:17 +0000)
commit	d4302f43737034a69bd475e5f46e8d126229375e
tree	fc05323a86641550e69ed54e0b57fa0263c1b2eb	tree \| snapshot
parent	661ffd4d7c77fce52fb2f2d96f1737be424af3f1	commit \| diff

moved dama/ and dama_didactic/ in contribs/dama/
the tests output should not change and history is preserved

94 files changed:

helm/software/matita/Makefile		diff \| blob \| history
helm/software/matita/contribs/dama/Makefile	[new file with mode: 0644]	blob
helm/software/matita/contribs/dama/dama/Makefile	[new file with mode: 0644]	blob
helm/software/matita/contribs/dama/dama/Q_is_orded_divisble_group.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/dama/dama/TODO	[new file with mode: 0644]	blob
helm/software/matita/contribs/dama/dama/attic/fields.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/dama/dama/attic/integration_algebras.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/dama/dama/attic/ordered_fields_ch0.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/dama/dama/attic/reals.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/dama/dama/attic/rings.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/dama/dama/attic/vector_spaces.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/dama/dama/classical_pointfree/ordered_sets.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/dama/dama/classical_pointfree/ordered_sets2.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/dama/dama/classical_pointwise/sets.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/dama/dama/classical_pointwise/sigma_algebra.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/dama/dama/classical_pointwise/topology.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/dama/dama/constructive_connectives.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/dama/dama/constructive_higher_order_relations.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/dama/dama/constructive_pointfree/lebesgue.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/dama/dama/depends	[new file with mode: 0644]	blob
helm/software/matita/contribs/dama/dama/divisible_group.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/dama/dama/doc/DIMOSTRAZIONE	[new file with mode: 0644]	blob
helm/software/matita/contribs/dama/dama/doc/NotaReticoli.pdf	[new file with mode: 0644]	blob
helm/software/matita/contribs/dama/dama/excess.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/dama/dama/group.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/dama/dama/infsup.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/dama/dama/lattice.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/dama/dama/limit.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/dama/dama/metric_lattice.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/dama/dama/metric_space.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/dama/dama/ordered_divisible_group.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/dama/dama/ordered_group.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/dama/dama/premetric_lattice.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/dama/dama/prevalued_lattice.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/dama/dama/root	[new file with mode: 0644]	blob
helm/software/matita/contribs/dama/dama/sandwich.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/dama/dama/sandwich_corollary.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/dama/dama/sequence.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/dama/dama/tend.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/dama/dama_didactic/Makefile	[new file with mode: 0644]	blob
helm/software/matita/contribs/dama/dama_didactic/bottom.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/dama/dama_didactic/depends	[new file with mode: 0644]	blob
helm/software/matita/contribs/dama/dama_didactic/deriv.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/dama/dama_didactic/ex_deriv.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/dama/dama_didactic/ex_seq.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/dama/dama_didactic/reals.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/dama/dama_didactic/root	[new file with mode: 0644]	blob
helm/software/matita/contribs/dama/dama_didactic/sequences.ma	[new file with mode: 0644]	blob
helm/software/matita/dama/Makefile	[deleted file]	blob \| history
helm/software/matita/dama/Q_is_orded_divisble_group.ma	[deleted file]	blob \| history
helm/software/matita/dama/TODO	[deleted file]	blob \| history
helm/software/matita/dama/attic/fields.ma	[deleted file]	blob \| history
helm/software/matita/dama/attic/integration_algebras.ma	[deleted file]	blob \| history
helm/software/matita/dama/attic/ordered_fields_ch0.ma	[deleted file]	blob \| history
helm/software/matita/dama/attic/reals.ma	[deleted file]	blob \| history
helm/software/matita/dama/attic/rings.ma	[deleted file]	blob \| history
helm/software/matita/dama/attic/vector_spaces.ma	[deleted file]	blob \| history
helm/software/matita/dama/classical_pointfree/ordered_sets.ma	[deleted file]	blob \| history
helm/software/matita/dama/classical_pointfree/ordered_sets2.ma	[deleted file]	blob \| history
helm/software/matita/dama/classical_pointwise/sets.ma	[deleted file]	blob \| history
helm/software/matita/dama/classical_pointwise/sigma_algebra.ma	[deleted file]	blob \| history
helm/software/matita/dama/classical_pointwise/topology.ma	[deleted file]	blob \| history
helm/software/matita/dama/constructive_connectives.ma	[deleted file]	blob \| history
helm/software/matita/dama/constructive_higher_order_relations.ma	[deleted file]	blob \| history
helm/software/matita/dama/constructive_pointfree/lebesgue.ma	[deleted file]	blob \| history
helm/software/matita/dama/depends	[deleted file]	blob \| history
helm/software/matita/dama/divisible_group.ma	[deleted file]	blob \| history
helm/software/matita/dama/doc/DIMOSTRAZIONE	[deleted file]	blob \| history
helm/software/matita/dama/doc/NotaReticoli.pdf	[deleted file]	blob \| history
helm/software/matita/dama/excess.ma	[deleted file]	blob \| history
helm/software/matita/dama/group.ma	[deleted file]	blob \| history
helm/software/matita/dama/infsup.ma	[deleted file]	blob \| history
helm/software/matita/dama/lattice.ma	[deleted file]	blob \| history
helm/software/matita/dama/limit.ma	[deleted file]	blob \| history
helm/software/matita/dama/metric_lattice.ma	[deleted file]	blob \| history
helm/software/matita/dama/metric_space.ma	[deleted file]	blob \| history
helm/software/matita/dama/ordered_divisible_group.ma	[deleted file]	blob \| history
helm/software/matita/dama/ordered_group.ma	[deleted file]	blob \| history
helm/software/matita/dama/premetric_lattice.ma	[deleted file]	blob \| history
helm/software/matita/dama/prevalued_lattice.ma	[deleted file]	blob \| history
helm/software/matita/dama/root	[deleted file]	blob \| history
helm/software/matita/dama/sandwich.ma	[deleted file]	blob \| history
helm/software/matita/dama/sandwich_corollary.ma	[deleted file]	blob \| history
helm/software/matita/dama/sequence.ma	[deleted file]	blob \| history
helm/software/matita/dama/tend.ma	[deleted file]	blob \| history
helm/software/matita/dama_didactic/Makefile	[deleted file]	blob \| history
helm/software/matita/dama_didactic/bottom.ma	[deleted file]	blob \| history
helm/software/matita/dama_didactic/depends	[deleted file]	blob \| history
helm/software/matita/dama_didactic/deriv.ma	[deleted file]	blob \| history
helm/software/matita/dama_didactic/ex_deriv.ma	[deleted file]	blob \| history
helm/software/matita/dama_didactic/ex_seq.ma	[deleted file]	blob \| history
helm/software/matita/dama_didactic/reals.ma	[deleted file]	blob \| history
helm/software/matita/dama_didactic/root	[deleted file]	blob \| history
helm/software/matita/dama_didactic/sequences.ma	[deleted file]	blob \| history

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom