aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Relations
ModeNameSize
-rw-r--r--Operators_Properties.v13001logplain
-rw-r--r--Relation_Definitions.v2317logplain
-rw-r--r--Relation_Operators.v7802logplain
-rw-r--r--Relations.v1204logplain