From e15f60a4364581f08b69c51cad190ce4a136fa3f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Liam=20O=E2=80=99Connor?= <me@liamoc.net>
Date: Thu, 4 Dec 2025 17:29:07 +1100
Subject: [PATCH] fix bug

---
 trees/isa/isa-001T.tree | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/trees/isa/isa-001T.tree b/trees/isa/isa-001T.tree
index dfcd545..edcd09a 100644
--- a/trees/isa/isa-001T.tree
+++ b/trees/isa/isa-001T.tree
@@ -7,7 +7,7 @@
 \parent{isa-001B}
 \shiki{definition twice :: ‹('a ⇒ 'a) ⇒ 'a ⇒ 'a› where
 ‹twice f x  = f (f x)›}
-\shiki{lemma ‹rpt (twice f) n (f (x::two)) = f x›}
+\shiki{lemma ‹rpt (twice f) n (f (x::oot)) = f x›}
 \solnblock{
 \shiki{apply (unfold twice_def)
 apply (induct n)
-- 
2.51.2