From c48fdc159197c7a4dec54d5a01486a4663c68ea4 Mon Sep 17 00:00:00 2001
From: Mio <mio@mio19.uk>
Date: Fri, 5 Dec 2025 09:21:09 +1100
Subject: [PATCH] fix typo

---
 trees/isa/isa-001M.tree | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/trees/isa/isa-001M.tree b/trees/isa/isa-001M.tree
index 653d0b3..a415315 100644
--- a/trees/isa/isa-001M.tree
+++ b/trees/isa/isa-001M.tree
@@ -5,7 +5,7 @@
 \parent{isa-001B}
 \taxon{Example}
 \put\shiki/language{Isabelle Theory}
-\shiki{lemma lm001M: ‹f (f (f (b::two))) = f b›}
+\shiki{lemma lm001M: ‹f (f (f (b::oot))) = f b›}
 \solnblock{
 \shiki{apply (case_tac b)
  apply simp
@@ -24,4 +24,4 @@ apply simp
 apply (case_tac "(f TWO)")
  apply simp
 apply simp
-done}}
\ No newline at end of file
+done}}
-- 
2.51.2