From f30560efcc5acb39f8b9a4a5d0ea0482224a5fc1 Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Sat, 15 Nov 2008 20:08:09 +0000
Subject: Attempto complete up to spec

---
 examples/attempto/Symbols.gf | 17 ++++++++++++++++-
 1 file changed, 16 insertions(+), 1 deletion(-)

(limited to 'examples/attempto/Symbols.gf')

diff --git a/examples/attempto/Symbols.gf b/examples/attempto/Symbols.gf
index 3744ecd4a..3f92d3b21 100644
--- a/examples/attempto/Symbols.gf
+++ b/examples/attempto/Symbols.gf
@@ -1,6 +1,21 @@
 abstract Symbols = {
 
-cat Var ;
+cat Var ; Formula ; Term ;
+
+fun plus_Term : Term -> Term -> Term ;
+fun minus_Term : Term -> Term -> Term ;
+fun div_Term : Term -> Term -> Term ;
+fun times_Term : Term -> Term -> Term ;
+fun neg_Term : Term -> Term ;
+fun int_Term : Int -> Term ;
+fun var_Term : Var -> Term ;
+
+fun eq_Formula : Term -> Term -> Formula ;
+fun lt_Formula : Term -> Term -> Formula ;
+fun gt_Formula : Term -> Term -> Formula ;
+fun le_Formula : Term -> Term -> Formula ;
+fun ge_Formula : Term -> Term -> Formula ;
+fun ne_Formula : Term -> Term -> Formula ;
 
 fun X_Var : Var ;
 fun Y_Var : Var ;
-- 
cgit v1.2.3