1 files changed, 0 insertions, 25 deletions
diff --git a/examples/attempto/SymbolsC.gf b/examples/attempto/SymbolsC.gf
deleted file mode 100644
index b92885bb9..000000000
--- a/examples/attempto/SymbolsC.gf
+++ /dev/null
@@ -1,25 +0,0 @@
-concrete SymbolsC of Symbols = open Precedence, Prelude in {
-
-lincat Term = TermWithPrec ;
-lincat Formula = SS ;
-lincat Var = SS ;
-
-lin plus_Term  = mkpInfixL "+" p1 ;
-lin minus_Term = mkpInfixL "-" p1 ;
-lin div_Term   = mkpInfixL "/" p2 ;
-lin times_Term = mkpInfixL "*" p2 ;
-lin neg_Term   = mkpFun1 "-" ;
-lin int_Term i = mkpConst i.s ;
-lin var_Term i = mkpConst i.s ;
-
-lin eq_Formula = infixSS "=" ;
-lin lt_Formula = infixSS "<" ;
-lin gt_Formula = infixSS ">" ;
-lin le_Formula = infixSS "=<" ;
-lin ge_Formula = infixSS ">=" ;
-lin ne_Formula = infixSS "\\=" ;
-
-lin X_Var = ss "X" ;
-lin Y_Var = ss "Y" ;
-
-}