Auxiliary XML Schema for an Equational-Logic RuleML sublanguage File: aux_equalog.xsd Version: 0.85 (fixed) Last Modification: 2004-05-25