aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Setoids
ModeNameSize
-rw-r--r--Setoid.v1592logplain
-rw-r--r--Setoid_Prop.v1811logplain
-rw-r--r--Setoid_tac.v21003logplain
-rw-r--r--intro.tex33logplain