From ca94fba3e87f843ee1b7666e3bdbf7900029e0ec Mon Sep 17 00:00:00 2001
From: Jacques Garrigue <garrigue@math.nagoya-u.ac.jp>
Date: Tue, 15 Nov 2022 17:01:15 +0900
Subject: [PATCH] really add Omega.v

---
 Omega.v | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 Omega.v

diff --git a/Omega.v b/Omega.v
new file mode 100644
index 0000000..0d2b23b
--- /dev/null
+++ b/Omega.v
@@ -0,0 +1,2 @@
+Require Export ZArith Lia.
+Ltac omega := lia.