environ
vocabularies HIDDEN, RELAT_2, LATTICE3, ORDERS_2, SUBSET_1, EQREL_1, XXREAL_0, LATTICES, XBOOLE_0, WAYBEL_0, XBOOLEAN;
notations HIDDEN, STRUCT_0, LATTICE3, WAYBEL_0, WAYBEL_1, YELLOW_0, ORDERS_2;
definitions ;
theorems LATTICE3, YELLOW_0, WAYBEL_1;
schemes ;
registrations LATTICE3, YELLOW_0, WAYBEL_1;
constructors HIDDEN, LATTICE3, WAYBEL_1;
requirements HIDDEN;
equalities ;
expansions ;