environ
vocabularies HIDDEN, LATTICES, ROBBINS1, XBOOLE_0, SUBSET_1, ARYTM_3, EQREL_1, STRUCT_0, BINOP_1, FUNCT_5, RELAT_1, FUNCT_1, SHEFFER1, CARD_1;
notations HIDDEN, TARSKI, XBOOLE_0, FUNCT_5, ORDINAL1, CARD_1, STRUCT_0, LATTICES, BINOP_1, ROBBINS1;
definitions LATTICES, ROBBINS1, STRUCT_0;
theorems STRUCT_0, ROBBINS1, LATTICES;
schemes ;
registrations LATTICES, LATTICE6, ROBBINS1, CARD_1, STRUCT_0;
constructors HIDDEN, BINOP_1, ROBBINS1, FUNCT_5;
requirements HIDDEN, BOOLE, SUBSET, NUMERALS;
equalities ROBBINS1;
expansions LATTICES, ROBBINS1, STRUCT_0;