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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 4 Mar 2012 19:23:00 +0000 (19:23 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 4 Mar 2012 19:23:00 +0000 (19:23 +0000)
commit	c8718cc46ab9aaca047366dfefe72bc7c9402e5a
tree	8f5aea5325644fe2ec136fbf4dcc5c57fb78c247	tree \| snapshot
parent	000dc5a8de79b2ab63a49cf0f9db2b540cc05bcf	commit \| diff

- lambda_delta: "conversion" and "equivalence" components started
- formal_topology: porting to lib started. cprop_connectives compiles!

58 files changed:

matita/matita/contribs/lambda_delta/Basic_2/Basic_1.txt		diff \| blob \| history
matita/matita/contribs/lambda_delta/Basic_2/conversion/cpc.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Basic_2/conversion/cpc_cpc.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Basic_2/equivalence/cpcs.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Makefile		diff \| blob \| history
matita/matita/lib/basics/pts.ma		diff \| blob \| history
matita/matita/lib/formal_topology/apply_functor.ma	[new file with mode: 0644]	blob
matita/matita/lib/formal_topology/basic_pairs.ma	[new file with mode: 0644]	blob
matita/matita/lib/formal_topology/basic_pairs_to_basic_topologies.ma	[new file with mode: 0644]	blob
matita/matita/lib/formal_topology/basic_pairs_to_o-basic_pairs.ma	[new file with mode: 0644]	blob
matita/matita/lib/formal_topology/basic_topologies.ma	[new file with mode: 0644]	blob
matita/matita/lib/formal_topology/basic_topologies_to_o-basic_topologies.ma	[new file with mode: 0644]	blob
matita/matita/lib/formal_topology/categories.ma	[new file with mode: 0644]	blob
matita/matita/lib/formal_topology/concrete_spaces.ma	[new file with mode: 0644]	blob
matita/matita/lib/formal_topology/concrete_spaces_to_o-concrete_spaces.ma	[new file with mode: 0644]	blob
matita/matita/lib/formal_topology/cprop_connectives.ma	[new file with mode: 0644]	blob
matita/matita/lib/formal_topology/formal_topologies.ma	[new file with mode: 0644]	blob
matita/matita/lib/formal_topology/notation.ma	[new file with mode: 0644]	blob
matita/matita/lib/formal_topology/o-algebra.ma	[new file with mode: 0644]	blob
matita/matita/lib/formal_topology/o-basic_pairs.ma	[new file with mode: 0644]	blob
matita/matita/lib/formal_topology/o-basic_pairs_to_o-basic_topologies.ma	[new file with mode: 0644]	blob
matita/matita/lib/formal_topology/o-basic_topologies.ma	[new file with mode: 0644]	blob
matita/matita/lib/formal_topology/o-concrete_spaces.ma	[new file with mode: 0644]	blob
matita/matita/lib/formal_topology/o-formal_topologies.ma	[new file with mode: 0644]	blob
matita/matita/lib/formal_topology/o-saturations.ma	[new file with mode: 0644]	blob
matita/matita/lib/formal_topology/r-o-basic_pairs.ma	[new file with mode: 0644]	blob
matita/matita/lib/formal_topology/relations.ma	[new file with mode: 0644]	blob
matita/matita/lib/formal_topology/relations_to_o-algebra.ma	[new file with mode: 0644]	blob
matita/matita/lib/formal_topology/replace.sh	[new file with mode: 0644]	blob
matita/matita/lib/formal_topology/saturations.ma	[new file with mode: 0644]	blob
matita/matita/lib/formal_topology/saturations_to_o-saturations.ma	[new file with mode: 0644]	blob
matita/matita/lib/formal_topology/subsets.ma	[new file with mode: 0644]	blob
matita/matita/library/formal_topology/apply_functor.ma	[deleted file]	blob \| history
matita/matita/library/formal_topology/basic_pairs.ma	[deleted file]	blob \| history
matita/matita/library/formal_topology/basic_pairs_to_basic_topologies.ma	[deleted file]	blob \| history
matita/matita/library/formal_topology/basic_pairs_to_o-basic_pairs.ma	[deleted file]	blob \| history
matita/matita/library/formal_topology/basic_topologies.ma	[deleted file]	blob \| history
matita/matita/library/formal_topology/basic_topologies_to_o-basic_topologies.ma	[deleted file]	blob \| history
matita/matita/library/formal_topology/categories.ma	[deleted file]	blob \| history
matita/matita/library/formal_topology/concrete_spaces.ma	[deleted file]	blob \| history
matita/matita/library/formal_topology/concrete_spaces_to_o-concrete_spaces.ma	[deleted file]	blob \| history
matita/matita/library/formal_topology/cprop_connectives.ma	[deleted file]	blob \| history
matita/matita/library/formal_topology/formal_topologies.ma	[deleted file]	blob \| history
matita/matita/library/formal_topology/notation.ma	[deleted file]	blob \| history
matita/matita/library/formal_topology/o-algebra.ma	[deleted file]	blob \| history
matita/matita/library/formal_topology/o-basic_pairs.ma	[deleted file]	blob \| history
matita/matita/library/formal_topology/o-basic_pairs_to_o-basic_topologies.ma	[deleted file]	blob \| history
matita/matita/library/formal_topology/o-basic_topologies.ma	[deleted file]	blob \| history
matita/matita/library/formal_topology/o-concrete_spaces.ma	[deleted file]	blob \| history
matita/matita/library/formal_topology/o-formal_topologies.ma	[deleted file]	blob \| history
matita/matita/library/formal_topology/o-saturations.ma	[deleted file]	blob \| history
matita/matita/library/formal_topology/r-o-basic_pairs.ma	[deleted file]	blob \| history
matita/matita/library/formal_topology/relations.ma	[deleted file]	blob \| history
matita/matita/library/formal_topology/relations_to_o-algebra.ma	[deleted file]	blob \| history
matita/matita/library/formal_topology/saturations.ma	[deleted file]	blob \| history
matita/matita/library/formal_topology/saturations_to_o-saturations.ma	[deleted file]	blob \| history
matita/matita/library/formal_topology/subsets.ma	[deleted file]	blob \| history
matita/matita/predefined_virtuals.ml		diff \| blob \| history

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

RSS Atom