From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 25 Oct 2007 17:01:32 +0000 (+0000)
Subject: true and false were swapped!
X-Git-Tag: make_still_working~5946
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=68dcac85ab9510b2e3e272d964e3765cd116ddbb;p=helm.git

true and false were swapped!
---

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.