Add missing refprefix includes (#13125)

This commit is contained in:
Juergen Spitzmueller 2024-11-25 11:07:59 +01:00
parent ecac032a94
commit 80d731e119
2 changed files with 2 additions and 0 deletions

View File

@ -374,3 +374,4 @@ Style Claim
End
Input theorems-case.inc
Input theorems-refprefix.inc

View File

@ -469,3 +469,4 @@ End
Input theorems-case.inc
Input theorems-refprefix.inc