summaryrefslogtreecommitdiff
path: root/theories/Relations
ModeNameSize
-rw-r--r--Operators_Properties.v12344logplain
-rw-r--r--Relation_Definitions.v2404logplain
-rw-r--r--Relation_Operators.v7320logplain
-rw-r--r--Relations.v1292logplain
-rwxr-xr-xintro.tex743logplain
-rw-r--r--vo.itarget83logplain