1 files changed, 0 insertions, 49 deletions
diff --git a/omegalib/examples/old_test/tex1 b/omegalib/examples/old_test/tex1
deleted file mode 100644
index ca84924..0000000
--- a/omegalib/examples/old_test/tex1
+++ /dev/null
@@ -1,49 +0,0 @@
-#
-# Extract from omega4
-#  removed "eqnarray" commands, associated &'s, and overbrace commands
-#  added declaration of n
-#  added semicolon
-#
-# It would be nice not to have to do the following:
-#  removed \ in front of variable names
-# 
-
-$$
-symbolic n;
-R := \{\ [ii] \rightarrow [ki] \mid
-1 \leq ii \leq 2n
-	\ \land \  1 \leq ki \leq 2n
-\land ii = ki 
-\land ii = ki\\
-\t \land 
-	\ \neg (\ \exists [ji, jj] \st
-(1 \leq ji \leq 2n \land 1 \leq jj \leq n\!-\!1)
-\land (ii \leq ji \land ji \leq ki) \land (2jj = ki)\ )\\ 
-\t 
-\land \ 
-\neg (\ \exists [ji, jj] \st
-(1 \leq ji \leq 2n \land 1 \leq jj \leq n\!-\!1)
-\land (ii \leq ji \land ji \leq ki) \land (2jj\!+\!1 = ki)\ )
-\   \}
-;
-
-R;
-$$
-# S := \{\ [\ii] \rightarrow [\ki] \mid
-# 1 \leq \ii \leq 2\n
-# 	\ \land \  1 \leq \ki \leq 2\n
-# \land \ii = \ki 
-# \land \ii = \ki\\
-# \t \land 
-# 	\ \neg (\ \exists [\ji, \jj] \st
-# (1 \leq \ji \leq 2\n \land 1 \leq \jj \leq \n\!-\!1)
-# \land (\ii \leq \ji \land \ji \leq \ki) \land (2\jj = \ki)\ )\\ 
-# \t 
-# \land \ 
-# \neg (\ \exists [\ji, \jj] \st
-# (1 \leq \ji \leq 2\n \land 1 \leq \jj \leq \n\!-\!1)
-# \land (\ii \leq \ji \land \ji \leq \ki) \land (2\jj\!+\!1 = \ki)\ )
-# \   \}
-# ;
-# 
-# S;