From a8bfebbb61c42c6f53bde3dd5fd1318fb8cb7931 Mon Sep 17 00:00:00 2001
From: Sergey Bozhko <sbozhko@sws-mpi.org>
Date: Thu, 20 Sep 2018 16:33:24 +0200
Subject: [PATCH] Add notion of epsilon

---
 util/epsilon.v | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 util/epsilon.v

diff --git a/util/epsilon.v b/util/epsilon.v
new file mode 100644
index 000000000..d66c6b81f
--- /dev/null
+++ b/util/epsilon.v
@@ -0,0 +1,6 @@
+Module Epsilon.
+
+  (* ε is defined as the smallest positive number. *)
+  Definition ε := 1.
+
+End Epsilon.
\ No newline at end of file
-- 
GitLab