1 files changed, 0 insertions, 15 deletions
diff --git a/omegalib/examples/interface b/omegalib/examples/interface
deleted file mode 100644
index 48cac6d..0000000
--- a/omegalib/examples/interface
+++ /dev/null
@@ -1,15 +0,0 @@
-# These are the examples from the documentation for the
-# C++ interface to the Omega Library.
-#
-symbolic n, m, F(1);
-
-S1 := { [t] : 1 <= t <= n };
-S2 := { [x] : (0 <= x <= 100 and
-               exists (y : 2n <= y <= x and exists (z : y = 2*z+1)))
-               or x = 17 };
- 
-R := { [i,j] -> [i',j'] : 1 <= i <= i' <= n and not (F(In) = F(Out))
-                          and 1 <= j, j' <= m };
-S1;
-S2;
-R;