]> matita.cs.unibo.it Git - helm.git/commit
morphism support moved to sets/ and logic/cprop
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 23 Sep 2010 22:39:08 +0000 (22:39 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 23 Sep 2010 22:39:08 +0000 (22:39 +0000)
commit90ff94e74ceed0954b8599bff55d5c84f15c1b9f
tree144399ffe988d47e1f6b129326cb3069174101dd
parentd86eefac7dff521eb2589b6f2dcb8a1b361be186
morphism support moved to sets/ and logic/cprop
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