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: 7ba64c0) | patch

author	Enrico Tassi <enrico.tassi@inria.fr>
	Tue, 27 Nov 2007 11:36:52 +0000 (11:36 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Tue, 27 Nov 2007 11:36:52 +0000 (11:36 +0000)
commit	9791cd146bc0b8df953aee7bb8a3df60553b530c
tree	3eb057c8b0419bad0ee5caf9d3a63a5e01c6b195	tree \| snapshot
parent	7ba64c01b703caf47b4654c8fc954a8aa7818173	commit \| diff

bir georganization, most of the structures done

15 files changed:

helm/software/matita/dama/classical_pointfree/ordered_sets.ma		diff \| blob \| history
helm/software/matita/dama/constructive_connectives.ma		diff \| blob \| history
helm/software/matita/dama/constructive_higher_order_relations.ma		diff \| blob \| history
helm/software/matita/dama/constructive_pointfree/lebesgue.ma		diff \| blob \| history
helm/software/matita/dama/excedence.ma		diff \| blob \| history
helm/software/matita/dama/groups.ma		diff \| blob \| history
helm/software/matita/dama/lattice.ma		diff \| blob \| history
helm/software/matita/dama/metric_lattice.ma		diff \| blob \| history
helm/software/matita/dama/metric_set.ma	[deleted file]	blob \| history
helm/software/matita/dama/metric_space.ma	[new file with mode: 0644]	blob
helm/software/matita/dama/ordered_groups.ma		diff \| blob \| history
helm/software/matita/dama/ordered_set.ma	[new file with mode: 0644]	blob
helm/software/matita/dama/ordered_sets.ma	[deleted file]	blob \| history
helm/software/matita/dama/premetric_lattice.ma	[new file with mode: 0644]	blob
helm/software/matita/dama/sequence.ma	[new file with mode: 0644]	blob

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