environ
vocabularies HIDDEN, ARYTM_3, RELAT_1, FUNCT_1, SUBSET_1, BINOP_1, GROUP_1, NAT_1, CARD_1, GROUP_2, FUNCT_2, FINSET_1, GRAPH_1, NEWTON, XBOOLE_0, NAT_3, GROUP_10, ALGSTR_0, NUMBERS, INT_2, XXREAL_0, GROUP_6, PRE_TOPC, STRUCT_0, GROUP_5, QC_LANG1, CQC_SIM1, WELLORD1, MOEBIUS1, GROUPP_1;
notations HIDDEN, SUBSET_1, ORDINAL1, NUMBERS, XCMPLX_0, XXREAL_0, INT_2, FUNCT_2, STRUCT_0, ALGSTR_0, GROUP_1, GROUP_2, GROUP_3, NEWTON, DOMAIN_1, GR_CY_1, GROUP_4, NAT_3, GROUP_10, MOEBIUS1, GROUP_5, GROUP_6, INT_1;
definitions GROUP_10;
theorems GROUP_2, GROUP_3, GROUP_6, NAT_1, GROUP_1, ORDINAL1, NAT_D, GR_CY_1, NEWTON, PEPIN, GROUP_8, NAT_3, GROUP_10, INT_2, GROUP_5, MOEBIUS1, NAT_5, GROUP_11, GROUP_4, TARSKI;
schemes NAT_1;
registrations RELSET_1, FINSET_1, XREAL_0, NAT_1, INT_1, CARD_1, NEWTON, STRUCT_0, GROUP_2, GROUP_1, GROUP_3, GR_CY_1, FUNCT_2, NAT_3, GROUP_10, GROUP_6, ORDINAL1;
constructors HIDDEN, NAT_D, GR_CY_1, GROUP_4, NAT_3, GROUP_10, BINOP_1, BINOP_2, GROUP_5, MOEBIUS1, GROUP_6, REALSET1;
requirements HIDDEN, NUMERALS, REAL, SUBSET, BOOLE, ARITHM;
equalities STRUCT_0, ALGSTR_0, GROUP_4, GROUP_6;
expansions STRUCT_0, GROUP_10, GROUP_6;