my forest
fix typo
+2
-2
+2
-2
trees/isa/isa-001M.tree
+2
-2
trees/isa/isa-001M.tree
···
5
5
\parent{isa-001B}
6
6
\taxon{Example}
7
7
\put\shiki/language{Isabelle Theory}
8
-
\shiki{lemma lm001M: ‹f (f (f (b::two))) = f b›}
8
+
\shiki{lemma lm001M: ‹f (f (f (b::oot))) = f b›}
9
9
\solnblock{
10
10
\shiki{apply (case_tac b)
11
11
apply simp
···
24
24
apply (case_tac "(f TWO)")
25
25
apply simp
26
26
apply simp
27
-
done}}
27
+
done}}