Session HOL-Cardinals

View theory dependencies

Theories

Fun_More
Order_Relation_More
Wellfounded_More
Wellorder_Relation
Wellorder_Embedding
Order_Union
Cardinal_Notations
Wellorder_Constructions
Ordinal_Arithmetic
Cardinal_Order_Relation
Cardinal_Arithmetic
Wellorder_Extension
Cardinals
Bounded_Set