/theories/Wellfounded/

• ../
• .cvsignore
• Disjoint_Union.v
• Inclusion.v
• Inverse_Image.v
• Lexicographic_Exponentiation.v
• Lexicographic_Product.v
• Transitive_Closure.v
• Union.v
• Well_Ordering.v
• Wellfounded.v
• intro.tex