summaryrefslogtreecommitdiff
path: root/theories/Setoids
ModeNameSize
-rw-r--r--Setoid.v2071logplain
-rw-r--r--intro.tex33logplain
-rw-r--r--vo.itarget9logplain