]> matita.cs.unibo.it Git - helm.git/commit
hints polished and fixed to allow recursive inference of ext_carr
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 28 Sep 2010 23:09:45 +0000 (23:09 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 28 Sep 2010 23:09:45 +0000 (23:09 +0000)
commitd1c9cdb2de96aa2dda6a7b25a4c4959b82b08f6c
tree377ae68344a59141b75195f6f070bd1830d5806e
parent6f2f5039ef719f60ebcf24d7ee17c83eac6cc635
hints polished and fixed to allow recursive inference of ext_carr
helm/software/matita/nlibrary/datatypes/list-setoids.ma
helm/software/matita/nlibrary/datatypes/pairs-setoids.ma
helm/software/matita/nlibrary/logic/cprop.ma
helm/software/matita/nlibrary/re/re-setoids.ma
helm/software/matita/nlibrary/sets/setoids.ma
helm/software/matita/nlibrary/sets/setoids1.ma
helm/software/matita/nlibrary/sets/sets.ma