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

author	Enrico Tassi <enrico.tassi@inria.fr>
	Wed, 7 Nov 2007 14:44:24 +0000 (14:44 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Wed, 7 Nov 2007 14:44:24 +0000 (14:44 +0000)
commit	72a05c70f5ab9dabb704f1dc334920b10a8f4bb9
tree	bf3c006d710edff9b95ac8fe1f2769a5c534d923	tree \| snapshot
parent	ce0d4228b95ea04d5406f1bba53c67af64630d07	commit \| diff

reorganization of the whole story, the root dir contains the algebraic structure

matita/dama/classical_pointfree/ordered_sets.ma	[new file with mode: 0644]	blob
matita/dama/classical_pointfree/ordered_sets2.ma	[new file with mode: 0644]	blob
matita/dama/classical_pointwise/sets.ma	[new file with mode: 0644]	blob
matita/dama/classical_pointwise/sigma_algebra.ma	[new file with mode: 0644]	blob
matita/dama/classical_pointwise/topology.ma	[new file with mode: 0644]	blob
matita/dama/ordered_groups.ma		diff \| blob \| history
matita/dama/ordered_sets.ma		diff \| blob \| history
matita/dama/ordered_sets2.ma	[deleted file]	blob \| history
matita/dama/sets.ma	[deleted file]	blob \| history
matita/dama/sigma_algebra.ma	[deleted file]	blob \| history
matita/dama/topology.ma	[deleted file]	blob \| history

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