environ
vocabularies HIDDEN, XBOOLE_0, SUBSET_1, ZFMISC_1, TARSKI, FINSET_1, FINSUB_1, MATRIX_1;
notations HIDDEN, TARSKI, XBOOLE_0, ZFMISC_1, SUBSET_1, FINSET_1;
definitions TARSKI, XBOOLE_0;
theorems TARSKI, ZFMISC_1, XBOOLE_0, XBOOLE_1;
schemes XBOOLE_0;
registrations XBOOLE_0, SUBSET_1, FINSET_1;
constructors HIDDEN, TARSKI, SUBSET_1, FINSET_1;
requirements HIDDEN, SUBSET, BOOLE;
equalities XBOOLE_0;
expansions TARSKI, XBOOLE_0;