aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Wellfounded
ModeNameSize
-rw-r--r--Disjoint_Union.v1566logplain
-rw-r--r--Inclusion.v1003logplain
-rw-r--r--Inverse_Image.v1739logplain
-rw-r--r--Lexicographic_Exponentiation.v9990logplain
-rw-r--r--Lexicographic_Product.v4233logplain
-rw-r--r--Transitive_Closure.v1447logplain
-rw-r--r--Union.v2276logplain
-rw-r--r--Well_Ordering.v1964logplain
-rw-r--r--Wellfounded.v784logplain
-rwxr-xr-xintro.tex127logplain
-rw-r--r--vo.itarget168logplain