]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cb98bd7) | patch
1. new coercion(s) from CPropi to CProp
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 16 Jan 2009 00:45:58 +0000 (00:45 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 16 Jan 2009 00:45:58 +0000 (00:45 +0000)
commitf4b80554953fa5c452fdc9350d236fb9bcb263dd
treeb96e4df31553ccda295050ac296ef14b6681743atree | snapshot
parentcb98bd7054893edee16aadd6741ec5210b04afbccommit | diff
1. new coercion(s) from CPropi to CProp
2. fixed notation for subsetS
3. coercions still have problems: the coercion from objs1 REL is not
   accepted because it is identified with the coercion from objs1 SET
helm/software/matita/contribs/formal_topology/overlap/basic_pairs.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
Unnamed repository; edit this file 'description' to name the repository.