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

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

author	Enrico Tassi <enrico.tassi@inria.fr>
	Wed, 7 Jul 2010 16:08:18 +0000 (16:08 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Wed, 7 Jul 2010 16:08:18 +0000 (16:08 +0000)
commit	1ed4fe0f28d3b0b915387330cd722bfb80fb1063
tree	358cd4442224cf6e5ad0a322b732303d8eb0fcb8	tree \| snapshot
parent	05cfeb82d2624860e66941421a937f308d66cf33	commit \| diff

moved formal_topology into library"

58 files changed:

helm/software/matita/contribs/formal_topology/overlap/apply_functor.ma	[deleted file]	blob \| history
helm/software/matita/contribs/formal_topology/overlap/basic_pairs.ma	[deleted file]	blob \| history
helm/software/matita/contribs/formal_topology/overlap/basic_pairs_to_basic_topologies.ma	[deleted file]	blob \| history
helm/software/matita/contribs/formal_topology/overlap/basic_pairs_to_o-basic_pairs.ma	[deleted file]	blob \| history
helm/software/matita/contribs/formal_topology/overlap/basic_topologies.ma	[deleted file]	blob \| history
helm/software/matita/contribs/formal_topology/overlap/basic_topologies_to_o-basic_topologies.ma	[deleted file]	blob \| history
helm/software/matita/contribs/formal_topology/overlap/categories.ma	[deleted file]	blob \| history
helm/software/matita/contribs/formal_topology/overlap/concrete_spaces.ma	[deleted file]	blob \| history
helm/software/matita/contribs/formal_topology/overlap/concrete_spaces_to_o-concrete_spaces.ma	[deleted file]	blob \| history
helm/software/matita/contribs/formal_topology/overlap/cprop_connectives.ma	[deleted file]	blob \| history
helm/software/matita/contribs/formal_topology/overlap/formal_topologies.ma	[deleted file]	blob \| history
helm/software/matita/contribs/formal_topology/overlap/notation.ma	[deleted file]	blob \| history
helm/software/matita/contribs/formal_topology/overlap/o-algebra.ma	[deleted file]	blob \| history
helm/software/matita/contribs/formal_topology/overlap/o-basic_pairs.ma	[deleted file]	blob \| history
helm/software/matita/contribs/formal_topology/overlap/o-basic_pairs_to_o-basic_topologies.ma	[deleted file]	blob \| history
helm/software/matita/contribs/formal_topology/overlap/o-basic_topologies.ma	[deleted file]	blob \| history
helm/software/matita/contribs/formal_topology/overlap/o-concrete_spaces.ma	[deleted file]	blob \| history
helm/software/matita/contribs/formal_topology/overlap/o-formal_topologies.ma	[deleted file]	blob \| history
helm/software/matita/contribs/formal_topology/overlap/o-saturations.ma	[deleted file]	blob \| history
helm/software/matita/contribs/formal_topology/overlap/r-o-basic_pairs.ma	[deleted file]	blob \| history
helm/software/matita/contribs/formal_topology/overlap/relations.ma	[deleted file]	blob \| history
helm/software/matita/contribs/formal_topology/overlap/relations_to_o-algebra.ma	[deleted file]	blob \| history
helm/software/matita/contribs/formal_topology/overlap/saturations.ma	[deleted file]	blob \| history
helm/software/matita/contribs/formal_topology/overlap/saturations_to_o-saturations.ma	[deleted file]	blob \| history
helm/software/matita/contribs/formal_topology/overlap/subsets.ma	[deleted file]	blob \| history
helm/software/matita/library/depends		diff \| blob \| history
helm/software/matita/library/formal_topology/apply_functor.ma	[new file with mode: 0644]	blob
helm/software/matita/library/formal_topology/basic_pairs.ma	[new file with mode: 0644]	blob
helm/software/matita/library/formal_topology/basic_pairs.ma.dontcompile	[deleted file]	blob \| history
helm/software/matita/library/formal_topology/basic_pairs_to_basic_topologies.ma	[new file with mode: 0644]	blob
helm/software/matita/library/formal_topology/basic_pairs_to_o-basic_pairs.ma	[new file with mode: 0644]	blob
helm/software/matita/library/formal_topology/basic_topologies.ma	[new file with mode: 0644]	blob
helm/software/matita/library/formal_topology/basic_topologies.ma.dontcompile	[deleted file]	blob \| history
helm/software/matita/library/formal_topology/basic_topologies_to_o-basic_topologies.ma	[new file with mode: 0644]	blob
helm/software/matita/library/formal_topology/categories.ma	[new file with mode: 0644]	blob
helm/software/matita/library/formal_topology/concrete_spaces.ma	[new file with mode: 0644]	blob
helm/software/matita/library/formal_topology/concrete_spaces.ma.dontcompile	[deleted file]	blob \| history
helm/software/matita/library/formal_topology/concrete_spaces_to_o-concrete_spaces.ma	[new file with mode: 0644]	blob
helm/software/matita/library/formal_topology/cprop_connectives.ma	[new file with mode: 0644]	blob
helm/software/matita/library/formal_topology/formal_topologies.ma	[new file with mode: 0644]	blob
helm/software/matita/library/formal_topology/formal_topologies.ma.dontcompile	[deleted file]	blob \| history
helm/software/matita/library/formal_topology/notation.ma	[new file with mode: 0644]	blob
helm/software/matita/library/formal_topology/o-algebra.ma	[new file with mode: 0644]	blob
helm/software/matita/library/formal_topology/o-basic_pairs.ma	[new file with mode: 0644]	blob
helm/software/matita/library/formal_topology/o-basic_pairs_to_o-basic_topologies.ma	[new file with mode: 0644]	blob
helm/software/matita/library/formal_topology/o-basic_topologies.ma	[new file with mode: 0644]	blob
helm/software/matita/library/formal_topology/o-concrete_spaces.ma	[new file with mode: 0644]	blob
helm/software/matita/library/formal_topology/o-formal_topologies.ma	[new file with mode: 0644]	blob
helm/software/matita/library/formal_topology/o-saturations.ma	[new file with mode: 0644]	blob
helm/software/matita/library/formal_topology/r-o-basic_pairs.ma	[new file with mode: 0644]	blob
helm/software/matita/library/formal_topology/relations.ma	[new file with mode: 0644]	blob
helm/software/matita/library/formal_topology/relations.ma.dontcompile	[deleted file]	blob \| history
helm/software/matita/library/formal_topology/relations_to_o-algebra.ma	[new file with mode: 0644]	blob
helm/software/matita/library/formal_topology/saturations.ma	[new file with mode: 0644]	blob
helm/software/matita/library/formal_topology/saturations_reductions.ma.dontcompile	[deleted file]	blob \| history
helm/software/matita/library/formal_topology/saturations_to_o-saturations.ma	[new file with mode: 0644]	blob
helm/software/matita/library/formal_topology/subsets.ma	[new file with mode: 0644]	blob
helm/software/matita/nlibrary/re/re.ma		diff \| blob \| history

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

RSS Atom