text

imdea-software · Sep 20, 2022 · 58126e5 · 58126e5
1 parent 36a8ab4
commit 58126e5
Showing 1 changed file with 4 additions and 2 deletions.
diff --git 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 *)
 
 (*******************)
 (*******************)