Commit History

Author SHA1 Message Date
  Taddeus Kroes 694854ae90 Shortened rule name. 14 years ago
  Taddeus Kroes 17862fb994 Added rule for subtracting addition terms from both sides of an equation. 14 years ago