aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Relations
ModeNameSize
-rw-r--r--Operators_Properties.v12283logplain
-rw-r--r--Relation_Definitions.v2343logplain
-rw-r--r--Relation_Operators.v7261logplain
-rw-r--r--Relations.v1242logplain
-rwxr-xr-xintro.tex743logplain