environ
vocabularies HIDDEN, NUMBERS, REAL_1, SUBSET_1, RCOMP_1, PARTFUN1, TARSKI, RELAT_1, TAYLOR_1, FUNCT_1, ARYTM_3, XXREAL_0, CARD_1, FDIFF_1, ARYTM_1, VALUED_1, XBOOLE_0, PREPOWER, NEWTON, ORDINAL4, SQUARE_1, SIN_COS;
notations HIDDEN, TARSKI, XBOOLE_0, SUBSET_1, RELAT_1, FUNCT_1, PARTFUN1, PARTFUN2, RCOMP_1, ORDINAL1, NUMBERS, XXREAL_0, XCMPLX_0, XREAL_0, REAL_1, NAT_1, VALUED_1, FDIFF_1, NEWTON, PREPOWER, TAYLOR_1, SIN_COS, RFUNCT_1, SQUARE_1, SIN_COS4;
definitions ;
theorems FDIFF_2, TAYLOR_1, XBOOLE_1, XCMPLX_1, FDIFF_1, FUNCT_1, TARSKI, PREPOWER, RFUNCT_1, XREAL_1, XCMPLX_0, NEWTON, SIN_COS, SIN_COS5, SIN_COS4, WSIERP_1, VALUED_1;
schemes ;
registrations RELSET_1, NUMBERS, INT_1, MEMBERED, RCOMP_1, VALUED_0, XREAL_0, PREPOWER, NEWTON, SQUARE_1, SIN_COS;
constructors HIDDEN, PARTFUN1, REAL_1, SQUARE_1, NAT_1, RCOMP_1, PARTFUN2, RFUNCT_1, LIMFUNC1, FDIFF_1, PREPOWER, SIN_COS, SIN_COS4, TAYLOR_1, VALUED_1, RELSET_1, NEWTON;
requirements HIDDEN, SUBSET, REAL, NUMERALS, ARITHM, BOOLE;
equalities SQUARE_1, VALUED_1;
expansions ;