From a201b0a8e525cab5c3cb019ccd707b7367aa3ecc Mon Sep 17 00:00:00 2001 From: jadep Date: Tue, 12 Mar 2019 15:30:56 -0400 Subject: add some hints to the global databases --- src/Util/ZUtil/Le.v | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/Util/ZUtil/Le.v') diff --git a/src/Util/ZUtil/Le.v b/src/Util/ZUtil/Le.v index a32d0fdd0..d49931818 100644 --- a/src/Util/ZUtil/Le.v +++ b/src/Util/ZUtil/Le.v @@ -61,4 +61,4 @@ Module Z. Lemma le_add_1_iff x y : x + 1 <= y <-> x < y. Proof. lia. Qed. -End Z. +End Z. \ No newline at end of file -- cgit v1.2.3