-
Guillaume Melquiond authored
Since the same name cannot be reused for several theories in a single file, the line-number suffix can be scrapped. This makes it easier to reference a given theory from a human-written documentation. The final underscore is kept to avoid ambiguities.
6165ac52