aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Relations
ModeNameSize
-rw-r--r--Newman.v3894logplain
-rw-r--r--Operators_Properties.v2750logplain
-rw-r--r--Relation_Definitions.v2383logplain
-rw-r--r--Relation_Operators.v5129logplain
-rw-r--r--Relations.v1242logplain
-rw-r--r--Rstar.v2879logplain
-rwxr-xr-xintro.tex743logplain