From ede483856e91f7d906887cd70cec6659378849eb Mon Sep 17 00:00:00 2001
From: Richard Kimberly Heck <rikiheck@lyx.org>
Date: Tue, 8 Sep 2020 11:34:56 -0400
Subject: [PATCH] GuiName for counters is only in 2.4.0.

---
 lib/layouts/theorems-ams-chap-bytype.inc            | 13 -------------
 .../theorems-ams-extended-chap-bytype.module        | 11 -----------
 2 files changed, 24 deletions(-)

diff --git a/lib/layouts/theorems-ams-chap-bytype.inc b/lib/layouts/theorems-ams-chap-bytype.inc
index 9c01e2e812..768e564a52 100644
--- a/lib/layouts/theorems-ams-chap-bytype.inc
+++ b/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
 
diff --git a/lib/layouts/theorems-ams-extended-chap-bytype.module b/lib/layouts/theorems-ams-extended-chap-bytype.module
index 634e79a67a..6815e80141 100644
--- a/lib/layouts/theorems-ams-extended-chap-bytype.module
+++ b/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