equal
deleted
inserted
replaced
117 \begin{tabular}{rcccl} |
117 \begin{tabular}{rcccl} |
118 & & @{text "Pure"} \\ |
118 & & @{text "Pure"} \\ |
119 & & @{text "\<down>"} \\ |
119 & & @{text "\<down>"} \\ |
120 & & @{text "FOL"} \\ |
120 & & @{text "FOL"} \\ |
121 & $\swarrow$ & & $\searrow$ & \\ |
121 & $\swarrow$ & & $\searrow$ & \\ |
122 $Nat$ & & & & @{text "List"} \\ |
122 @{text "Nat"} & & & & @{text "List"} \\ |
123 & $\searrow$ & & $\swarrow$ \\ |
123 & $\searrow$ & & $\swarrow$ \\ |
124 & & @{text "Length"} \\ |
124 & & @{text "Length"} \\ |
125 & & \multicolumn{3}{l}{~~$\isarkeyword{imports}$} \\ |
125 & & \multicolumn{3}{l}{~~$\isarkeyword{imports}$} \\ |
126 & & \multicolumn{3}{l}{~~$\isarkeyword{begin}$} \\ |
126 & & \multicolumn{3}{l}{~~$\isarkeyword{begin}$} \\ |
127 & & $\vdots$~~ \\ |
127 & & $\vdots$~~ \\ |