From 3b878f85d85f1fa7f7ff724dfa161d7ac2b619b8 Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Sun, 21 Oct 2007 10:45:51 +0000
Subject: Swedish functor implementation of Base

---
 examples/tutorial/semantics/LexBase.gf | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'examples/tutorial/semantics/LexBase.gf')

diff --git a/examples/tutorial/semantics/LexBase.gf b/examples/tutorial/semantics/LexBase.gf
index 74c491b9f..83713a35f 100644
--- a/examples/tutorial/semantics/LexBase.gf
+++ b/examples/tutorial/semantics/LexBase.gf
@@ -4,6 +4,8 @@ oper
   even_A : A ;
   odd_A : A ;
   prime_A : A ;
+  common_A : A ;
+  great_A : A ;
   equal_A2 : A2 ;
   greater_A2 : A2 ;
   smaller_A2 : A2 ;
@@ -11,7 +13,7 @@ oper
   number_N : N ;
   sum_N2 : N2 ;
   product_N2 : N2 ;
-  gcd_N2 : N2 ;
+  divisor_N2 : N2 ;
 
-  noSg_Det : Det ;
+  none_NP : NP ; ---
 }
-- 
cgit v1.2.3