aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Wellfounded
ModeNameSize
-rw-r--r--Disjoint_Union.v1558logplain
-rw-r--r--Inclusion.v995logplain
-rw-r--r--Inverse_Image.v1723logplain
-rw-r--r--Lexicographic_Exponentiation.v8319logplain
-rw-r--r--Lexicographic_Product.v4202logplain
-rw-r--r--Transitive_Closure.v1431logplain
-rw-r--r--Union.v2260logplain
-rw-r--r--Well_Ordering.v1940logplain
-rw-r--r--Wellfounded.v784logplain