From c8ceed08efcc0bdc1fcbd89bce643d9f52f0991b Mon Sep 17 00:00:00 2001
From: aarne <aarne@chalmers.se>
Date: Wed, 9 Dec 2009 09:47:16 +0000
Subject: moving a few things to deprecated

---
 old-lib/resource/mathematical/SymbolEng.gf | 37 ------------------------------
 1 file changed, 37 deletions(-)
 delete mode 100644 old-lib/resource/mathematical/SymbolEng.gf

(limited to 'old-lib/resource/mathematical/SymbolEng.gf')

diff --git a/old-lib/resource/mathematical/SymbolEng.gf b/old-lib/resource/mathematical/SymbolEng.gf
deleted file mode 100644
index 488c3fbdd..000000000
--- a/old-lib/resource/mathematical/SymbolEng.gf
+++ /dev/null
@@ -1,37 +0,0 @@
-concrete SymbolEng of Symbol = CatEng ** open Prelude, ResEng in {
-
-lin
-  SymbPN i = {s = \\c => i.s ; g = Neutr} ; --- c
-  IntPN i  = {s = \\c => i.s ; g = Neutr} ; --- c
-  FloatPN i = {s = \\c => i.s ; g = Neutr} ; --- c
-  NumPN i = {s = \\c => i.s ; g = Neutr} ; --- c
-  CNIntNP cn i = {
-    s = \\c => (cn.s ! Sg ! Nom ++ i.s) ;
-    a = agrgP3 Sg cn.g
-    } ;
-  CNSymbNP det cn xs = {
-    s = \\c => det.s ++ cn.s ! det.n ! c ++ xs.s ; 
-    a = agrgP3 det.n cn.g
-    } ;
-  CNNumNP cn i = {
-    s = \\c => (cn.s ! Sg ! Nom ++ i.s) ;
-    a = agrgP3 Sg cn.g
-    } ;
-
-  SymbS sy = sy ; 
-
-  SymbNum sy = {s = sy.s ; n = Pl ; hasCard = True} ;
-  SymbOrd sy = {s = sy.s ++ "th"} ;
-
-lincat 
-
-  Symb, [Symb] = SS ;
-
-lin
-
-  MkSymb s = s ;
-
-  BaseSymb = infixSS "and" ;
-  ConsSymb = infixSS "," ;
-
-}
-- 
cgit v1.2.3