environ
vocabularies HIDDEN, NUMBERS, XREAL_0, COMPLEX1, CARD_1, XXREAL_0, ARYTM_1, ARYTM_3, RELAT_1, SQUARE_1, REAL_1, ABSVALUE, INT_1, NAT_1;
notations HIDDEN, ORDINAL1, NUMBERS, XCMPLX_0, XREAL_0, REAL_1, INT_1, COMPLEX1, SQUARE_1, XXREAL_0;
definitions ;
theorems XCMPLX_0, XCMPLX_1, COMPLEX1, SQUARE_1, XREAL_1, XXREAL_0;
schemes ;
registrations XXREAL_0, XREAL_0, ORDINAL1, NAT_1, INT_1;
constructors HIDDEN, REAL_1, SQUARE_1, COMPLEX1, INT_1, XXREAL_0;
requirements HIDDEN, REAL, NUMERALS, SUBSET, ARITHM, BOOLE;
equalities ;
expansions ;