liamoc.net / forest
my forest
1
fork

Configure Feed

Select the types of activity you want to include in your feed.

Merge pull request #3 from mio-19/patch-1

fix typo

authored by

Liam O'Connor and committed by
GitHub e7cfc3f6 e15f60a4

+2 -2
+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}}