GuiName for counters is only in 2.4.0.

lib/layouts/theorems-ams-chap-bytype.inc

@@ -27,55 +27,42 @@
 Format 66
 
 Counter theorem
-	GuiName Theorem
 	Within         chapter
 End
 Counter corollary
-	GuiName Corollary
 	Within         chapter
 End
 Counter lemma
-	GuiName Lemma
 	Within         chapter
 End
 Counter proposition
-	GuiName Proposition
 	Within         chapter
 End
 Counter conjecture
-	GuiName Conjecture
 	Within         chapter
 End
 Counter fact
-	GuiName Fact
 	Within         chapter
 End
 Counter definition
-	GuiName Definition
 	Within         chapter
 End
 Counter example
-	GuiName Example
 	Within         chapter
 End
 Counter problem
-	GuiName Problem
 	Within         chapter
 End
 Counter exercise
-	GuiName Exercise
 	Within         chapter
 End
 Counter solution
-	GuiName Solution
 	Within         chapter
 End
 Counter remark
-	GuiName Remark
 	Within         chapter
 End
 Counter claim
-	GuiName Claim
 	Within         chapter
 End
 

lib/layouts/theorems-ams-extended-chap-bytype.module

@@ -44,47 +44,36 @@ End
 Counter axiom
 End
 Counter condition
-	GuiName Criterion
 	Within         chapter
 End
 Counter algorithm
-	GuiName Algorithm
 	Within         chapter
 End
 Counter axiom
-	GuiName Axiom
 	Within         chapter
 End
 Counter condition
-	GuiName Condition
 	Within         chapter
 End
 Counter note
-	GuiName Note
 	Within         chapter
 End
 Counter notation
-	GuiName Notation
 	Within         chapter
 End
 Counter summary
-	GuiName Summary
 	Within         chapter
 End
 Counter acknowledgement
-	GuiName Acknowledgement
 	Within         chapter
 End
 Counter conclusion
-	GuiName Conclusion
 	Within         chapter
 End
 Counter assumption
-	GuiName Assumption
 	Within         chapter
 End
 Counter question
-	GuiName Question
 	Within         chapter
 End