]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 071d7a2) | patch
- new notation.ma file with local and common notation
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 19 Jan 2009 18:02:22 +0000 (18:02 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 19 Jan 2009 18:02:22 +0000 (18:02 +0000)
commit13114a0147a28f8c7359c9c19ee254716eb5f55a
tree7c84bbec544d5036117b2cfa86b9402d9a8603fctree | snapshot
parent071d7a246190074c97e78192839e4bb5d5a1eef4commit | diff
- new notation.ma file with local and common notation
- o-bp have now a O as prefix, the same for o-cs
- BP_to_OBP proved to be a functor, not faitfull nor full (simply stated)
helm/software/matita/contribs/formal_topology/overlap/basic_pairs.ma diff | blob | history
helm/software/matita/contribs/formal_topology/overlap/basic_pairs_to_o-basic_pairs.ma diff | blob | history
helm/software/matita/contribs/formal_topology/overlap/cprop_connectives.ma diff | blob | history
helm/software/matita/contribs/formal_topology/overlap/depends diff | blob | history
helm/software/matita/contribs/formal_topology/overlap/notation.ma [new file with mode: 0644] blob
helm/software/matita/contribs/formal_topology/overlap/o-basic_pairs.ma diff | blob | history
helm/software/matita/contribs/formal_topology/overlap/o-basic_pairs_to_o-basic_topologies.ma diff | blob | history
helm/software/matita/contribs/formal_topology/overlap/o-concrete_spaces.ma diff | blob | history
helm/software/matita/contribs/formal_topology/overlap/relations_to_o-algebra.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.