]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bdd7585) | patch
the new coercion behaviour (variants + composition with ID) and the new
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 15 Jan 2009 15:38:23 +0000 (15:38 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 15 Jan 2009 15:38:23 +0000 (15:38 +0000)
commitcb98bd7054893edee16aadd6741ec5210b04afbc
tree809bb54d9549c59891883cd0784dd873a1eb6910tree | snapshot
parentbdd7585617c6977ce3dc0a84afb686d089435870commit | diff
the new coercion behaviour (variants + composition with ID) and the new
discipline of declaring hints for carrier of structures (setoids and categories) and no
other hints simplified many passages
16 files changed:
helm/software/matita/contribs/formal_topology/overlap/basic_pairs.ma diff | blob | history
helm/software/matita/contribs/formal_topology/overlap/basic_topologies.ma diff | blob | history
helm/software/matita/contribs/formal_topology/overlap/categories.ma diff | blob | history
helm/software/matita/contribs/formal_topology/overlap/concrete_spaces.ma diff | blob | history
helm/software/matita/contribs/formal_topology/overlap/cprop_connectives.ma diff | blob | history
helm/software/matita/contribs/formal_topology/overlap/formal_topologies.ma diff | blob | history
helm/software/matita/contribs/formal_topology/overlap/o-algebra.ma diff | blob | history
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-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/o-formal_topologies.ma diff | blob | history
helm/software/matita/contribs/formal_topology/overlap/relations.ma diff | blob | history
helm/software/matita/contribs/formal_topology/overlap/relations_to_o-algebra.ma diff | blob | history
helm/software/matita/contribs/formal_topology/overlap/saturations_to_o-saturations.ma diff | blob | history
helm/software/matita/contribs/formal_topology/overlap/subsets.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.