environ
vocabularies HIDDEN, XBOOLE_0, RELAT_1, SUBSET_1, ZFMISC_1, MCART_1, ARYTM_3, TARSKI, PETRI, STRUCT_0, PNPROC_1;
notations HIDDEN, TARSKI, XBOOLE_0, ZFMISC_1, XTUPLE_0, SUBSET_1, RELAT_1, RELSET_1, MCART_1, DOMAIN_1, PARTIT_2, STRUCT_0;
definitions TARSKI, XBOOLE_0;
theorems SUBSET_1, MCART_1, TARSKI, ZFMISC_1, RELAT_1, XBOOLE_0;
schemes DOMAIN_1;
registrations XBOOLE_0, SUBSET_1, RELSET_1, STRUCT_0, XTUPLE_0;
constructors HIDDEN, RELSET_1, DOMAIN_1, STRUCT_0, PARTIT_2, XTUPLE_0;
requirements HIDDEN, SUBSET, BOOLE;
equalities ;
expansions XBOOLE_0;