From a1e2767dbe912467ecb1dfe7d33bf173244b99b7 Mon Sep 17 00:00:00 2001 From: bringert Date: Thu, 20 Apr 2006 17:55:46 +0000 Subject: Reorganized the peacekeeping grammar. --- examples/peacekeeping/PeaceKeep_Eng.gf | 5 ----- 1 file changed, 5 deletions(-) delete mode 100644 examples/peacekeeping/PeaceKeep_Eng.gf (limited to 'examples/peacekeeping/PeaceKeep_Eng.gf') diff --git a/examples/peacekeeping/PeaceKeep_Eng.gf b/examples/peacekeeping/PeaceKeep_Eng.gf deleted file mode 100644 index 3b1faec72..000000000 --- a/examples/peacekeeping/PeaceKeep_Eng.gf +++ /dev/null @@ -1,5 +0,0 @@ ---# -path=.:present:prelude - -concrete PeaceKeep_Eng of PeaceKeep = CatEng, PeaceLex_Eng ** PeaceKeepI with - (Lang = LangEng) ; - -- cgit v1.2.3