environ
vocabularies HIDDEN, REAL_1, RCOMP_1, SUBSET_1, NUMBERS, TARSKI, RELAT_1, SIN_COS, FDIFF_1, FUNCT_1, ARYTM_3, SQUARE_1, ARYTM_1, CARD_1, XBOOLE_0, VALUED_1, TAYLOR_1, XXREAL_0, LIMFUNC1, XXREAL_1, SIN_COS4;
notations HIDDEN, TARSKI, SUBSET_1, ORDINAL1, FUNCT_1, XXREAL_0, XCMPLX_0, XREAL_0, RELSET_1, PARTFUN1, RCOMP_1, TAYLOR_1, SIN_COS, RFUNCT_1, SQUARE_1, NUMBERS, REAL_1, VALUED_1, FDIFF_1, LIMFUNC1, FDIFF_9;
definitions ;
theorems FDIFF_2, TAYLOR_1, XBOOLE_1, XCMPLX_1, FDIFF_1, FDIFF_7, RFUNCT_1, FUNCT_1, SIN_COS, RELAT_1, FDIFF_8, FDIFF_9, VALUED_1, XXREAL_1, XREAL_0;
schemes ;
registrations RELSET_1, MEMBERED, RCOMP_1, XXREAL_0, VALUED_0, NUMBERS, XREAL_0, SQUARE_1, SIN_COS;
constructors HIDDEN, REAL_1, PARTFUN1, PARTFUN2, LIMFUNC1, RCOMP_1, TAYLOR_1, SIN_COS, FDIFF_1, RFUNCT_1, SQUARE_1, ARYTM_0, COMSEQ_3, FDIFF_9, VALUED_1, RELSET_1, XREAL_0;
requirements HIDDEN, SUBSET, NUMERALS, ARITHM;
equalities SQUARE_1, LIMFUNC1, XCMPLX_0, SIN_COS, FDIFF_9;
expansions ;