summaryrefslogtreecommitdiff
path: root/theories/Setoids
ModeNameSize
-rw-r--r--Setoid.v1715logplain
-rw-r--r--Setoid_Prop.v1863logplain
-rw-r--r--Setoid_tac.v21053logplain
-rw-r--r--intro.tex33logplain