Rewriting with interface to resource.

1 files changed, 0 insertions, 11 deletions

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 ;
-} ;