From 9a6b50440740148fdc89d844ec32e56700ef7ce6 Mon Sep 17 00:00:00 2001 From: "kr.angelov" Date: Thu, 23 May 2013 08:59:36 +0000 Subject: [PATCH] remove DiffBul.gf which is now obsolete --- lib/src/bulgarian/DiffBul.gf | 21 --------------------- 1 file changed, 21 deletions(-) delete mode 100644 lib/src/bulgarian/DiffBul.gf diff --git a/lib/src/bulgarian/DiffBul.gf b/lib/src/bulgarian/DiffBul.gf deleted file mode 100644 index 55cf8c963..000000000 --- a/lib/src/bulgarian/DiffBul.gf +++ /dev/null @@ -1,21 +0,0 @@ -instance DiffBul of DiffSlavic = open CommonSlavic, Prelude in { - - param - Case = Acc | Dat ; - - Species = Indef | Def ; - - NForm = - NF Number Species - | NFSgDefNom - | NFPlCount - | NFVocative - ; - - oper - Agr = {gn : GenNum ; p : Person} ; - - agrP3 : GenNum -> Agr = \gn -> - {gn = gn; p = P3} ; - -} \ No newline at end of file