2.8.11.alpha0 protected
f4cf3a29 · replace 'revlex' term ordering with 'invlex' term ordering, this fixes #1034 ·