From c3a36e2cf313efad3066e74a6e62634d8423820f Mon Sep 17 00:00:00 2001
From: Jon Eugster <eugster.jon@gmail.com>
Date: Sat, 7 Oct 2023 21:23:23 +0200
Subject: [PATCH] change name from lemma to theorem #108

---
 DOCUMENTATION.md                    | 4 ++--
 client/src/components/inventory.tsx | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/DOCUMENTATION.md b/DOCUMENTATION.md
index bfba6a8..89e5f5d 100644
--- a/DOCUMENTATION.md
+++ b/DOCUMENTATION.md
@@ -87,9 +87,9 @@ Optionally, you can add a `Introduction "some text"` and `Conclusion "some text"
 The introduction will be shown at the beginning, the conclusion is displayed once the level
 is solved.
 
-#### Lemmas/Tactics/Definitions
+#### Theorems/Tactics/Definitions
 
-Only enabled lemmas/tactics/definitions (called "items" here) are available in a level.
+Only enabled theorems/tactics/definitions (called "items" here) are available in a level.
 
 To add a new item in a level, you can add
 
diff --git a/client/src/components/inventory.tsx b/client/src/components/inventory.tsx
index a11c750..da3d07d 100644
--- a/client/src/components/inventory.tsx
+++ b/client/src/components/inventory.tsx
@@ -29,7 +29,7 @@ export function Inventory({levelInfo, openDoc, enableAll=false} :
       {levelInfo?.definitions &&
         <InventoryList items={levelInfo?.definitions} docType="Definition" openDoc={openDoc} enableAll={enableAll}/>
       }
-      <h2>Lemmas</h2>
+      <h2>Theorems</h2>
       {levelInfo?.lemmas &&
         <InventoryList items={levelInfo?.lemmas} docType="Lemma" openDoc={openDoc} defaultTab={levelInfo?.lemmaTab} level={levelInfo} enableAll={enableAll}/>
       }