Juergen Spitzmueller 6e5b3a1e31 Properly fix acknowledgment issue part 2/2
Remove acknowledgment theorem types

As we have learned, these shouldn't have been added from the get go.

Documents having it get a local layout definition.
2023-02-05 12:07:37 +01:00
..
2020-03-05 00:24:08 +01:00
2022-10-26 10:52:21 +02:00
2022-10-26 10:52:21 +02:00
2022-10-26 10:52:21 +02:00
2022-10-26 10:52:21 +02:00
2022-10-26 10:52:21 +02:00
2022-10-26 10:52:21 +02:00
2022-10-26 10:52:21 +02:00
2022-10-26 10:52:21 +02:00
2022-10-26 10:52:21 +02:00
2022-10-26 10:52:21 +02:00
2018-02-23 08:58:16 +01:00
2022-10-26 10:52:21 +02:00
2019-06-02 00:04:34 +02:00
2018-01-31 21:13:43 +01:00