From 5c88df10bbf6c38b00e63bf897b5561417dd10fe Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Fri, 9 Jan 2004 16:48:19 +0000
Subject: Rewriting with interface to resource.

---
 grammars/database/DatabaseEngRes.gf | 11 -----------
 1 file changed, 11 deletions(-)
 delete mode 100644 grammars/database/DatabaseEngRes.gf

(limited to 'grammars/database/DatabaseEngRes.gf')

diff --git a/grammars/database/DatabaseEngRes.gf b/grammars/database/DatabaseEngRes.gf
deleted file mode 100644
index e00501a47..000000000
--- a/grammars/database/DatabaseEngRes.gf
+++ /dev/null
@@ -1,11 +0,0 @@
-resource DatabaseEngRes = open Prelude in {
-oper
-  mkSent : SS -> SS -> SS1 Bool = \long, short -> 
-    {s = table {b => if_then_else Str b long.s short.s}} ;
-
-  mkSentPrel : Str -> SS -> SS1 Bool = \prel, matter -> 
-    mkSent (ss (prel ++ matter.s)) matter ;
-
-  mkSentSame : SS -> SS1 Bool = \s -> 
-    mkSent s s ;
-} ;
-- 
cgit v1.2.3