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

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

author	Enrico Tassi <enrico.tassi@inria.fr>
	Wed, 28 May 2008 11:00:26 +0000 (11:00 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Wed, 28 May 2008 11:00:26 +0000 (11:00 +0000)
commit	2caf6f16d535477ccccbf4f0ebe47edceeddab78
tree	15292d8bb472e06e53e7b8936270bc959928770c	tree \| snapshot
parent	64e91bc7155f1cc0c68d97ccde30322ef2e4518b	commit \| diff

dama restarted

22 files changed:

helm/software/matita/contribs/dama/dama/Q_is_orded_divisble_group.ma	[deleted file]	blob \| history
helm/software/matita/contribs/dama/dama/TODO	[deleted file]	blob \| history
helm/software/matita/contribs/dama/dama/constructive_connectives.ma	[deleted file]	blob \| history
helm/software/matita/contribs/dama/dama/constructive_higher_order_relations.ma	[deleted file]	blob \| history
helm/software/matita/contribs/dama/dama/depends		diff \| blob \| history
helm/software/matita/contribs/dama/dama/divisible_group.ma	[deleted file]	blob \| history
helm/software/matita/contribs/dama/dama/doc/apal.pdf	[new file with mode: 0644]	blob
helm/software/matita/contribs/dama/dama/excess.ma	[deleted file]	blob \| history
helm/software/matita/contribs/dama/dama/group.ma	[deleted file]	blob \| history
helm/software/matita/contribs/dama/dama/infsup.ma	[deleted file]	blob \| history
helm/software/matita/contribs/dama/dama/lattice.ma	[deleted file]	blob \| history
helm/software/matita/contribs/dama/dama/limit.ma	[deleted file]	blob \| history
helm/software/matita/contribs/dama/dama/metric_lattice.ma	[deleted file]	blob \| history
helm/software/matita/contribs/dama/dama/metric_space.ma	[deleted file]	blob \| history
helm/software/matita/contribs/dama/dama/ordered_divisible_group.ma	[deleted file]	blob \| history
helm/software/matita/contribs/dama/dama/ordered_group.ma	[deleted file]	blob \| history
helm/software/matita/contribs/dama/dama/premetric_lattice.ma	[deleted file]	blob \| history
helm/software/matita/contribs/dama/dama/prevalued_lattice.ma	[deleted file]	blob \| history
helm/software/matita/contribs/dama/dama/sandwich.ma	[deleted file]	blob \| history
helm/software/matita/contribs/dama/dama/sandwich_corollary.ma	[deleted file]	blob \| history
helm/software/matita/contribs/dama/dama/sequence.ma	[deleted file]	blob \| history
helm/software/matita/contribs/dama/dama/tend.ma	[deleted file]	blob \| history

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

RSS Atom