add natural-iso form of RestrictToImage_splits
[coq-categories.git] / README
2011-04-04 Adam Megaczmajor revision: separate Subcategory into {Wide,Full...
2011-04-03 Adam Megaczadd README