From 58126e582051bab2bbe79ff167b175d770270865 Mon Sep 17 00:00:00 2001 From: Alex Gryzlov Date: Tue, 20 Sep 2022 12:19:38 +0200 Subject: [PATCH] text --- pcm/natmap.v | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/pcm/natmap.v b/pcm/natmap.v index 8ef13f4..afaf39e 100644 --- a/pcm/natmap.v +++ b/pcm/natmap.v @@ -1610,8 +1610,10 @@ Qed. Arguments oexlt_consec_find [V R a t1 t2 h ks z0]. -(* The lemmas past this point are useful for some examples *) -(* but will be deprecated in future releases *) + + +(* The lemmas past this point are currently used for some examples, *) +(* but will be deprecated and removed in future releases *) (*******************) (*******************)