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

author	Enrico Tassi <enrico.tassi@inria.fr>
	Mon, 26 Nov 2007 16:54:32 +0000 (16:54 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Mon, 26 Nov 2007 16:54:32 +0000 (16:54 +0000)
commit	988788642009674995382eed87606faca201ac1c
tree	fad78da26ec119bd82d03b1b9f7b63bc3f90aaf7	tree \| snapshot
parent	dbf2689a206bb4f7a3b36f6e40a88a47c8ad6e09	commit \| diff

reorganization of many files according to the new basic picture.
todo: premetric lattice and the various coercions

helm/software/matita/dama/constructive_pointfree/lebesgue.ma		diff \| blob \| history
helm/software/matita/dama/integration_algebras.ma		diff \| blob \| history
helm/software/matita/dama/lattice.ma	[new file with mode: 0644]	blob
helm/software/matita/dama/lattices.ma	[deleted file]	blob \| history
helm/software/matita/dama/metric_lattice.ma	[new file with mode: 0644]	blob
helm/software/matita/dama/metric_set.ma	[new file with mode: 0644]	blob
helm/software/matita/dama/preweighted_lattice.ma	[new file with mode: 0644]	blob
helm/software/matita/dama/valued_lattice.ma	[deleted file]	blob \| history

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