aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Wellfounded/vo.itarget
blob: 034d53106007dfc748a0b45bd54b7cd9766b6c21 (plain)
1
2
3
4
5
6
7
8
9
Disjoint_Union.vo
Inclusion.vo
Inverse_Image.vo
Lexicographic_Exponentiation.vo
Lexicographic_Product.vo
Transitive_Closure.vo
Union.vo
Wellfounded.vo
Well_Ordering.vo