environ
vocabularies HIDDEN, NAT_1, VECTSP_1, MATRIX_1, RELAT_1, SUPINF_2, MESFUNC1, ALGSTR_0, TREES_1, FINSEQ_1, XXREAL_0, CARD_1, QC_LANG1, MATRIX_6, REWRITE1, ARYTM_3, ARYTM_1, RELAT_2, FUNCOP_1, ZFMISC_1, FSM_1, COHSP_1, SUBSET_1, CARD_3, MATRIX_3, FUNCT_1, PARTFUN1, MATRIX_8;
notations HIDDEN, TARSKI, ZFMISC_1, PARTFUN1, ORDINAL1, NUMBERS, FINSEQ_1, STRUCT_0, RLVECT_1, NAT_1, VECTSP_1, MATRIX_0, FUNCT_1, MATRIX_1, MATRIX_3, MATRIX_4, MATRIX_6, FVSUM_1, XXREAL_0;
definitions ;
theorems ZFMISC_1, RLVECT_1, MATRIX_0, MATRIX_4, MATRIX_3, FUNCOP_1, FINSEQ_1, INT_1, MATRIX_6, POLYNOM1, MATRLIN, NAT_1, PARTFUN1, MATRIX_1;
schemes ;
registrations RELSET_1, XREAL_0, INT_1, STRUCT_0, MATRIX_6, ORDINAL1, MATRIX_0;
constructors HIDDEN, BINOP_1, REAL_1, NAT_1, FVSUM_1, MATRIX_6, MATRIX_1, MATRIX_3, MATRIX_4;
requirements HIDDEN, NUMERALS, SUBSET, ARITHM, BOOLE;
equalities MATRIX_0, MATRIX_1, MATRIX_3, MATRIX_4, FINSEQ_1, FVSUM_1, ALGSTR_0;
expansions ;