summaryrefslogtreecommitdiff
path: root/theories/Wellfounded
ModeNameSize
-rw-r--r--Disjoint_Union.v1653logplain
-rw-r--r--Inclusion.v1063logplain
-rw-r--r--Inverse_Image.v1806logplain
-rw-r--r--Lexicographic_Exponentiation.v10230logplain
-rw-r--r--Lexicographic_Product.v4362logplain
-rw-r--r--Transitive_Closure.v1512logplain
-rw-r--r--Union.v2344logplain
-rw-r--r--Well_Ordering.v2035logplain
-rw-r--r--Wellfounded.v849logplain
-rwxr-xr-xintro.tex127logplain