From 93eab3f741bace63f5b21829e321ce84db623197 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Thu, 25 Oct 2007 16:59:55 +0000 Subject: [PATCH] flase => false :-) --- helm/software/matita/library/datatypes/bool.ma | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/software/matita/library/datatypes/bool.ma b/helm/software/matita/library/datatypes/bool.ma index 953471191..dc397a1b2 100644 --- a/helm/software/matita/library/datatypes/bool.ma +++ b/helm/software/matita/library/datatypes/bool.ma @@ -37,7 +37,7 @@ unfold Not.intro. change with match true with [ true \Rightarrow False -| flase \Rightarrow True]. +| false \Rightarrow True]. rewrite > H.simplify.exact I. qed. -- 2.39.2