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: 1df8405) | patch

author	Enrico Tassi <enrico.tassi@inria.fr>
	Fri, 13 Jun 2008 15:53:27 +0000 (15:53 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Fri, 13 Jun 2008 15:53:27 +0000 (15:53 +0000)
commit	cb2419357a3f80388f71eb2730bff154bd4ef000
tree	68f13328ec8c22dd439e7f9f6d38e5ec1c4052a4	tree \| snapshot
parent	1df8405217896500edba22b61653e03b5289747c	commit \| diff

some notation added with a bit PITA

12 files changed:

helm/software/matita/contribs/dama/dama/bishop_set.ma		diff \| blob \| history
helm/software/matita/contribs/dama/dama/cprop_connectives.ma		diff \| blob \| history
helm/software/matita/contribs/dama/dama/depends		diff \| blob \| history
helm/software/matita/contribs/dama/dama/lebesgue.ma		diff \| blob \| history
helm/software/matita/contribs/dama/dama/models/uniformnat.ma		diff \| blob \| history
helm/software/matita/contribs/dama/dama/ordered_set.ma		diff \| blob \| history
helm/software/matita/contribs/dama/dama/ordered_uniform.ma		diff \| blob \| history
helm/software/matita/contribs/dama/dama/property_exhaustivity.ma		diff \| blob \| history
helm/software/matita/contribs/dama/dama/property_sigma.ma		diff \| blob \| history
helm/software/matita/contribs/dama/dama/sequence.ma		diff \| blob \| history
helm/software/matita/contribs/dama/dama/supremum.ma		diff \| blob \| history
helm/software/matita/contribs/dama/dama/uniform.ma		diff \| blob \| history

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