The Heal All spell heals everyone in the party.  It is the only way, other than time, to heal your pet.  The Heal All spell would be a good addition to the player's pet as it casts the healing spell at regular intervals even on full HP and may be useful in tough fights and saves potions.