1 files changed, 0 insertions, 37 deletions
diff --git a/omegalib/examples/old_test/sample3.oc-rt b/omegalib/examples/old_test/sample3.oc-rt
deleted file mode 100644
index a486bdd..0000000
--- a/omegalib/examples/old_test/sample3.oc-rt
+++ /dev/null
@@ -1,37 +0,0 @@
-# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000):
-# Symbolic n,m;
-# 
-# 
-# sym_example {[i] : 1 <= i <= n};
-
-{[1]: 1 <= n}
-
-# 
-# 
-# sym_example {[i] : m <= i <= n};
-
-{[m]: m <= n}
-
-# 
-# 
-# sym_example {[i] : m <= i <= n && exists (alpha : i = 2alpha)};
-
-{[0]: m <= 0 && 0 <= n}
-
-# 
-# example {[i] : m <= i <= n && exists (alpha : i = 2alpha)};
-
-{[42]: m = 42 && n = 42}
-
-# 
-# example {[i] : m < i <= n && exists (alpha : i = 2alpha)};
-
-{[44]: m = 42 && n = 44}
-
-# 
-# example {[i] : m < i < n};
-
-{[43]: m = 42 && n = 44}
-
-# 
-#