environ
vocabularies HIDDEN, CARD_1, ORDINAL1, ARYTM_1, RELAT_1, XBOOLEAN;
notations HIDDEN, ORDINAL1, NUMBERS, XCMPLX_0;
definitions ;
theorems ;
schemes ;
registrations XCMPLX_0, ORDINAL1;
constructors HIDDEN, XCMPLX_0, ORDINAL1, NUMBERS;
requirements HIDDEN, SUBSET, NUMERALS, ARITHM, BOOLE;
equalities ;
expansions ;