equality.con.body.xml
equality.con.types.xml
General_Order/
is_eq.con.body.xml
is_eq.con.types.xml
is_equality.con.body.xml
is_equality.con.types.xml
is_ord.con.body.xml
is_ord.con.types.xml
is_order.con.body.xml
is_order.con.types.xml
is_well_def_lft.con.body.xml
is_well_def_lft.con.types.xml
is_well_def_rht.con.body.xml
is_well_def_rht.con.types.xml
merge_le.con.body.xml
merge_le.con.types.xml
merge_lt.con.body.xml
merge_lt.con.types.xml
merge_lt_wf.con.body.xml
merge_lt_wf.con.types.xml
Merge_Order/
Negation_Order/
order.con.body.xml
order.con.types.xml
order_lt_le_weak.con.body.xml
order_lt_le_weak.con.types.xml
ord_is_wf.con.body.xml
ord_is_wf.con.types.xml
ord_wd_rht.con.body.xml
ord_wd_rht.con.types.xml
well_ordering_ind.con.body.xml
well_ordering_ind.con.types.xml
well_ordering.ind.types.xml
well_ordering.ind.xml
well_ordering_rec.con.body.xml
well_ordering_rec.con.types.xml
well_ordering_rect.con.body.xml
well_ordering_rect.con.types.xml
wfcrr.con.body.xml
wfcrr.con.types.xml
wf_ind.con.body.xml
wf_ind.con.types.xml