From 68dcac85ab9510b2e3e272d964e3765cd116ddbb Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Thu, 25 Oct 2007 17:01:32 +0000 Subject: [PATCH] true and false were swapped! --- helm/software/matita/library/Fsub/util.ma | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/helm/software/matita/library/Fsub/util.ma b/helm/software/matita/library/Fsub/util.ma index ac93f8ccf..41089172e 100644 --- a/helm/software/matita/library/Fsub/util.ma +++ b/helm/software/matita/library/Fsub/util.ma @@ -127,8 +127,8 @@ elim l qed. lemma max_case : \forall m,n.(max m n) = match (leb m n) with - [ false \Rightarrow n - | true \Rightarrow m ]. + [ true \Rightarrow n + | false \Rightarrow m ]. intros;elim m;simplify;reflexivity; qed. -- 2.39.2