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
..
2023-01-28 18:26:59 +01:00
2023-01-16 08:43:18 +01:00
2023-01-28 18:26:59 +01:00
2023-01-07 03:06:44 +01:00
2023-01-07 03:06:44 +01:00
2023-01-07 03:06:44 +01:00
2023-01-07 03:06:44 +01:00
2023-01-07 03:06:44 +01:00
2023-01-07 03:06:44 +01:00
2023-01-07 03:06:44 +01:00
2023-01-04 22:13:38 +01:00