checking up to date

2018-04-26 19:10:10 -03:00 · 2018-04-26 19:10:10 -03:00 · c4bc06e2f5
commit c4bc06e2f5
parent 5457f90f1c
1 changed files with 0 additions and 1 deletions
--- a/src/Typed.lagda
+++ b/src/Typed.lagda
@ -721,4 +721,3 @@ preservation (⊢Y (⊢λ ⊢N))           (β-Y _ refl)    =  ⊢substitution
 \end{code}


-
				`@ -721,4 +721,3 @@ preservation (⊢Y (⊢λ ⊢N)) (β-Y _ refl) = ⊢substitution`
				`\end{code}`