environ
vocabularies HIDDEN, STRUCT_0, BINOP_1, LATTICES, FUNCT_5, XBOOLE_0, SUBSET_1, FUNCT_1, ARYTM_3, EQREL_1, XXREAL_2, ARYTM_1, ROBBINS1, CARD_1;
notations HIDDEN, TARSKI, ORDINAL1, CARD_1, STRUCT_0, LATTICES, BINOP_1, FUNCT_2, FUNCT_5;
definitions LATTICES, STRUCT_0;
theorems STRUCT_0, LATTICES, BINOP_1;
schemes BINOP_1;
registrations RELSET_1, STRUCT_0, LATTICES, LATTICE2, CARD_1;
constructors HIDDEN, BINOP_1, LATTICES, FUNCT_5;
requirements HIDDEN, SUBSET, NUMERALS;
equalities LATTICES;
expansions LATTICES, STRUCT_0;