From 9ff61abea7fcde853dfca084ee24814728727d9d Mon Sep 17 00:00:00 2001 From: Quentin Vermande Date: Sat, 10 Feb 2024 19:40:34 +0100 Subject: [PATCH] fix typo --- classical/contra.v | 1 - 1 file changed, 1 deletion(-) diff --git a/classical/contra.v b/classical/contra.v index 8f83402395..5ac489d2ea 100644 --- a/classical/contra.v +++ b/classical/contra.v @@ -845,7 +845,6 @@ Canonical and_wProp. Canonical or_wProp. Canonical exists_wProp. Canonical exists2_wProp. ->>>>>>> fe374f6c (patch contra.v) (******************************************************************************) (* Lemma and tactic assume_not: add a goal negation assumption. The tactic *)