From 52f3b5ad34a8e4e9e4b71b0cc43591d3a8b3be29 Mon Sep 17 00:00:00 2001 From: Juhana Laurinharju Date: Mon, 7 May 2018 21:16:13 +0300 Subject: [PATCH] remove repeated text It looks like these lines were repeated twice in a row --- src/Properties.lagda | 7 ------- 1 file changed, 7 deletions(-) diff --git a/src/Properties.lagda b/src/Properties.lagda index b4cafee1..ea373ef3 100644 --- a/src/Properties.lagda +++ b/src/Properties.lagda @@ -614,13 +614,6 @@ displaying the text ?0 : ((m + n) + p) ≡ (m + (n + p)) -This indicates that hole 0 is to be filled in with a proof of -the stated judgement. -Emacs will also create a new window at the bottom of the screen -displaying the text - - ?0 : ((m + n) + p) ≡ (m + (n + p)) - This indicates that hole 0 is to be filled in with a proof of the stated judgement.