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

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

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 43cc715) | patch

author	Enrico Tassi <enrico.tassi@inria.fr>
	Thu, 20 Nov 2008 16:00:06 +0000 (16:00 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Thu, 20 Nov 2008 16:00:06 +0000 (16:00 +0000)
commit	c5a4db6c1020488d0792cee00dcf395a0ce54735
tree	d444c3de68feb98edea2e54b4ebf5f02e66de950	tree \| snapshot
parent	43cc715cc92ed10d665ee1cfe496531a30c8c460	commit \| diff

dama almost ok

17 files changed:

helm/software/matita/library/dama/bishop_set.ma		diff \| blob \| history
helm/software/matita/library/dama/bishop_set_rewrite.ma		diff \| blob \| history
helm/software/matita/library/dama/lebesgue.ma		diff \| blob \| history
helm/software/matita/library/dama/models/discrete_uniformity.ma		diff \| blob \| history
helm/software/matita/library/dama/models/increasing_supremum_stabilizes.ma		diff \| blob \| history
helm/software/matita/library/dama/models/nat_lebesgue.ma		diff \| blob \| history
helm/software/matita/library/dama/models/nat_order_continuous.ma		diff \| blob \| history
helm/software/matita/library/dama/models/nat_ordered_uniform.ma		diff \| blob \| history
helm/software/matita/library/dama/models/nat_uniform.ma		diff \| blob \| history
helm/software/matita/library/dama/nat_ordered_set.ma		diff \| blob \| history
helm/software/matita/library/dama/ordered_uniform.ma		diff \| blob \| history
helm/software/matita/library/dama/property_exhaustivity.ma		diff \| blob \| history
helm/software/matita/library/dama/property_sigma.ma		diff \| blob \| history
helm/software/matita/library/dama/sandwich.ma		diff \| blob \| history
helm/software/matita/library/dama/supremum.ma		diff \| blob \| history
helm/software/matita/library/dama/uniform.ma		diff \| blob \| history
helm/software/matita/library/depends		diff \| blob \| history

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