Remove "'" accidentaly added.

"'" in the extended (k_i added) form of Fix syntax should be removed.

In the following sentence, A_i' is referenced as A_i.

```
Each :math:`A_i` should be a type (reducible to a term) starting
with at least :math:`k_i` products
:math:`∀ y_1 :B_1 ,~… ∀ y_{k_i} :B_{k_i} ,~A_i'`
```

Also, A_i' is used in ∀ y_1 :B_1 ,~… ∀ y_{k_i} :B_{k_i} ,~A_i' and
A_i' must not equal to ∀ y_1 :B_1 ,~… ∀ y_{k_i} :B_{k_i} ,~A_i'.

The old reference manual, coq-8.7.2-reference-manual.pdf,
doesn't have "'".

They are added by
https://github.com/coq/coq/commit/47dca6c5da585212f69b6b83b25896ff990781e3
which ports Cic document from TeX to sphinx.

So, the change seems just an accident.

0 files changed, 0 insertions, 0 deletions