:: deftheorem defines LD-EqClasses GRZLOG_1:def 40 :
LD-EqClasses = Class LD-EqR;