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
..
2022-12-25 12:48:19 -05:00
2022-12-25 12:48:19 -05:00
2022-12-25 12:48:19 -05:00
2022-12-25 12:48:19 -05:00
2022-12-25 12:48:19 -05:00
2022-12-25 12:48:19 -05:00
2022-12-25 12:48:19 -05:00
2022-12-25 12:48:19 -05:00
2023-01-16 17:13:48 +01:00