aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Relations
ModeNameSize
-rw-r--r--Operators_Properties.v12232logplain
-rw-r--r--Relation_Definitions.v2329logplain
-rw-r--r--Relation_Operators.v7504logplain
-rw-r--r--Relations.v1228logplain
-rwxr-xr-xintro.tex743logplain
-rw-r--r--vo.itarget83logplain