Directory Tree

.
├── Disjoint_Union.html
├── Disjoint_Union.v
├── Inclusion.html
├── Inclusion.v
├── index.html
├── Inverse_Image.html
├── Inverse_Image.v
├── Lexicographic_Exponentiation.html
├── Lexicographic_Exponentiation.v
├── Lexicographic_Product.html
├── Lexicographic_Product.v
├── Transitive_Closure.html
├── Transitive_Closure.v
├── Union.html
├── Union.v
├── Wellfounded.html
├── Wellfounded.v
├── Well_Ordering.html
└── Well_Ordering.v

tree v1.8.0 © 1996 - 2018 by Steve Baker and Thomas Moore
HTML output hacked and copyleft © 1998 by Francesc Rocher
JSON output hacked and copyleft © 2014 by Florian Sesser
Charsets / OS/2 support © 2001 by Kyosuke Tokoro