environ
vocabularies HIDDEN, SIN_COS, REAL_1, ARYTM_3, ARYTM_1, RELAT_1, CARD_1, SIN_COS4;
notations HIDDEN, ORDINAL1, NUMBERS, XCMPLX_0, XREAL_0, SIN_COS;
definitions ;
theorems XCMPLX_1, SIN_COS;
schemes ;
registrations XCMPLX_0, XREAL_0, SIN_COS, ORDINAL1;
constructors HIDDEN, SQUARE_1, NEWTON, SIN_COS;
requirements HIDDEN, NUMERALS, SUBSET, ARITHM;
equalities ;
expansions ;