GitLab

Somehow they went under the radar the first time. Now all of them should
have been fixed.

Strangely enough, as can be seen from the diff, the statement of
WP_parameter_gcd was thoroughly wrong. The old proof was actually matching
the new statement, so the file would never have compiled on its own. I
don't have any sensible explanation for such a breakage, except for gnomes
messing with bytes at night.

- "Alt-Ergo 0.93"
- "0.93.1"

I am assuming these numbers are not negative. This assumption has always
existed for integers and the lexer cannot create negative real numbers
anyway. So, as long as a transformation does not create negative numbers,
there won't be any issue. (Transformations applying a negation to positive
numbers are fine though.)

This is getting tedious. There should be a way to drop the content of a
whole theory.