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

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

author	Enrico Tassi <enrico.tassi@inria.fr>
	Mon, 26 Jan 2009 17:12:38 +0000 (17:12 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Mon, 26 Jan 2009 17:12:38 +0000 (17:12 +0000)
commit	8d961585c4ff785d558d5b4c84adf656595ca487
tree	9ec52068a1159a40684e239be92de2a97bd08bcb	tree \| snapshot
parent	046ba9f98a41651836720df1e9c2ebb6bd577ea9	commit \| diff

maction support added to notation, adopted for = AKA = \sub t
deactivated the library/formal_topology directory since it is completely broken and outdated

22 files changed:

helm/software/matita/core_notation.moo		diff \| blob \| history
helm/software/matita/library/algebra/groups.ma		diff \| blob \| history
helm/software/matita/library/dama/models/increasing_supremum_stabilizes.ma		diff \| blob \| history
helm/software/matita/library/dama/property_exhaustivity.ma		diff \| blob \| history
helm/software/matita/library/dama/supremum.ma		diff \| blob \| history
helm/software/matita/library/datatypes/categories.ma		diff \| blob \| history
helm/software/matita/library/datatypes/subsets.ma		diff \| blob \| history
helm/software/matita/library/depends		diff \| blob \| history
helm/software/matita/library/formal_topology/basic_pairs.ma	[deleted file]	blob \| history
helm/software/matita/library/formal_topology/basic_pairs.ma.dontcompile	[new file with mode: 0644]	blob
helm/software/matita/library/formal_topology/basic_topologies.ma	[deleted file]	blob \| history
helm/software/matita/library/formal_topology/basic_topologies.ma.dontcompile	[new file with mode: 0644]	blob
helm/software/matita/library/formal_topology/concrete_spaces.ma	[deleted file]	blob \| history
helm/software/matita/library/formal_topology/concrete_spaces.ma.dontcompile	[new file with mode: 0644]	blob
helm/software/matita/library/formal_topology/formal_topologies.ma	[deleted file]	blob \| history
helm/software/matita/library/formal_topology/formal_topologies.ma.dontcompile	[new file with mode: 0644]	blob
helm/software/matita/library/formal_topology/relations.ma	[deleted file]	blob \| history
helm/software/matita/library/formal_topology/relations.ma.dontcompile	[new file with mode: 0644]	blob
helm/software/matita/library/formal_topology/saturations_reductions.ma	[deleted file]	blob \| history
helm/software/matita/library/formal_topology/saturations_reductions.ma.dontcompile	[new file with mode: 0644]	blob
helm/software/matita/library/logic/equality.ma		diff \| blob \| history
helm/software/matita/matitaMathView.ml		diff \| blob \| history

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

RSS Atom