]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 910b95f) | patch
1) stuff moved from categories.ma to setoids*.ma
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sat, 2 Jan 2010 19:40:58 +0000 (19:40 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sat, 2 Jan 2010 19:40:58 +0000 (19:40 +0000)
commita580ff5c627c4148cdd3649ead20f4fac0f78be8
tree551e9e7d6657e06bee9c1f84dd36ee9f493f680etree | snapshot
parent910b95f6ac4733afe717a27a23ae7d0e67d8f701commit | diff
1) stuff moved from categories.ma to setoids*.ma
2) we are now ready to define the category of o-algebras
helm/software/matita/nlibrary/overlap/o-algebra.ma diff | blob | history
helm/software/matita/nlibrary/sets/categories.ma diff | blob | history
helm/software/matita/nlibrary/sets/setoids.ma diff | blob | history
helm/software/matita/nlibrary/sets/setoids1.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.