took away old-examples

11 files changed, 0 insertions, 116 deletions

diff --git a/old-examples/restaurant/LexRestaurant.gf b/old-examples/restaurant/LexRestaurant.gf
deleted file mode 100644
index fc25d2080..000000000
--- a/old-examples/restaurant/LexRestaurant.gf
+++ /dev/null
@@ -1,8 +0,0 @@
-interface LexRestaurant = open Syntax in {
-
-oper
-  restaurant_N : N ;
-  cheap_A : A ;
-  italian_A, thai_A, swedish_A, french_A : A ;
-  konkanok_PN : PN ;
-}
diff --git a/old-examples/restaurant/LexRestaurantEng.gf b/old-examples/restaurant/LexRestaurantEng.gf
deleted file mode 100644
index 029144565..000000000
--- a/old-examples/restaurant/LexRestaurantEng.gf
+++ /dev/null
@@ -1,12 +0,0 @@
-instance LexRestaurantEng of LexRestaurant = open SyntaxEng, ParadigmsEng in {
-
-oper
-  restaurant_N = mkN "restaurant" ;
-  cheap_A = mkA "cheap" ;
-  italian_A = mkA "Italian" ;
-  thai_A = mkA "Thai" ;
-  swedish_A = mkA "Swedish" ;
-  french_A = mkA "French" ;
-
-  konkanok_PN = mkPN "Konkanok" ;
-}
diff --git a/old-examples/restaurant/LexRestaurantFin.gf b/old-examples/restaurant/LexRestaurantFin.gf
deleted file mode 100644
index 1755faa5e..000000000
--- a/old-examples/restaurant/LexRestaurantFin.gf
+++ /dev/null
@@ -1,12 +0,0 @@
-instance LexRestaurantFin of LexRestaurant = open SyntaxFin, ParadigmsFin in {
-
-oper
-  restaurant_N = mkN "ravintola" ;
-  cheap_A = mkA "halpa" ;
-  italian_A = mkA "italialainen" ;
-  thai_A = mkA "thaimaalainen" ;
-  swedish_A = mkA "ruotsalainen" ;
-  french_A = mkA "ranskalainen" ;
-
-  konkanok_PN = mkPN "Konkanok" ;
-}
diff --git a/old-examples/restaurant/LexRestaurantGer.gf b/old-examples/restaurant/LexRestaurantGer.gf
deleted file mode 100644
index 349a11fd7..000000000
--- a/old-examples/restaurant/LexRestaurantGer.gf
+++ /dev/null
@@ -1,12 +0,0 @@
-instance LexRestaurantGer of LexRestaurant = open SyntaxGer, ParadigmsGer in {
-
-oper
-  restaurant_N = mkN "Restaurant" "Restaurants" neuter ;
-  cheap_A = mkA "billig" ;
-  italian_A = mkA "italienisch" ;
-  thai_A = mkA "thailändisch" ;
-  swedish_A = mkA "schwedisch" ;
-  french_A = mkA "französisch" ;
-
-  konkanok_PN = mkPN "Konkanok" ;
-}
diff --git a/old-examples/restaurant/LexRestaurantSwe.gf b/old-examples/restaurant/LexRestaurantSwe.gf
deleted file mode 100644
index 57d4e0487..000000000
--- a/old-examples/restaurant/LexRestaurantSwe.gf
+++ /dev/null
@@ -1,12 +0,0 @@
-instance LexRestaurantSwe of LexRestaurant = open SyntaxSwe, ParadigmsSwe in {
-
-oper
-  restaurant_N = mkN "restaurang" ;
-  cheap_A = mkA "billig" ;
-  italian_A = mkA "italiensk" ;
-  thai_A = mkA "thailändsk" ;
-  swedish_A = mkA "svensk" ;
-  french_A = mkA "fransk" ;
-
-  konkanok_PN = mkPN "Konkanok" ;
-}
diff --git a/old-examples/restaurant/Restaurant.gf b/old-examples/restaurant/Restaurant.gf
deleted file mode 100644
index 7b0a586de..000000000
--- a/old-examples/restaurant/Restaurant.gf
+++ /dev/null
@@ -1,19 +0,0 @@
-abstract Restaurant = {
-
-flags startcat = Descr ;
-
-cat
-  Descr ;
-  Name ;
-  Nationality ;
-  PriceLevel ;
-
-fun
-  MkDescr : Name -> PriceLevel -> Nationality -> Descr ;
-
-  Cheap : PriceLevel ;
-  Italian, Thai, Swedish, French : Nationality ;
-  Konkanok : Name ;
-
-
-}
diff --git a/old-examples/restaurant/RestaurantEng.gf b/old-examples/restaurant/RestaurantEng.gf
deleted file mode 100644
index a6440219a..000000000
--- a/old-examples/restaurant/RestaurantEng.gf
+++ /dev/null
@@ -1,5 +0,0 @@
---# -path=.:present:prelude
-
-concrete RestaurantEng of Restaurant = RestaurantI with
-  (Syntax = SyntaxEng), 
-  (LexRestaurant = LexRestaurantEng) ;
diff --git a/old-examples/restaurant/RestaurantFin.gf b/old-examples/restaurant/RestaurantFin.gf
deleted file mode 100644
index 18aa08ced..000000000
--- a/old-examples/restaurant/RestaurantFin.gf
+++ /dev/null
@@ -1,5 +0,0 @@
---# -path=.:present:prelude
-
-concrete RestaurantFin of Restaurant = RestaurantI with
-  (Syntax = SyntaxFin), 
-  (LexRestaurant = LexRestaurantFin) ;
diff --git a/old-examples/restaurant/RestaurantGer.gf b/old-examples/restaurant/RestaurantGer.gf
deleted file mode 100644
index af711766c..000000000
--- a/old-examples/restaurant/RestaurantGer.gf
+++ /dev/null
@@ -1,5 +0,0 @@
---# -path=.:present:prelude
-
-concrete RestaurantGer of Restaurant = RestaurantI with
-  (Syntax = SyntaxGer), 
-  (LexRestaurant = LexRestaurantGer) ;
diff --git a/old-examples/restaurant/RestaurantI.gf b/old-examples/restaurant/RestaurantI.gf
deleted file mode 100644
index c84a738ce..000000000
--- a/old-examples/restaurant/RestaurantI.gf
+++ /dev/null
@@ -1,21 +0,0 @@
-incomplete concrete RestaurantI of Restaurant = open Syntax, LexRestaurant in {
-
-lincat
-  Descr = Phr ;
-  Name = NP ;
-  Nationality = A ;
-  PriceLevel = A ;
-
-lin
-  MkDescr name price nat = 
-    mkPhr (mkCl name (mkNP indefSgDet (mkCN price (mkCN nat (mkCN restaurant_N))))) ;
-
-  Cheap = cheap_A ;
-  Italian = italian_A ;
-  Thai = thai_A ;
-  Swedish = swedish_A ;
-  French = french_A ;
-  Konkanok = mkNP konkanok_PN ;
-
-
-}
diff --git a/old-examples/restaurant/RestaurantSwe.gf b/old-examples/restaurant/RestaurantSwe.gf
deleted file mode 100644
index a8081b7f1..000000000
--- a/old-examples/restaurant/RestaurantSwe.gf
+++ /dev/null
@@ -1,5 +0,0 @@
---# -path=.:present:prelude
-
-concrete RestaurantSwe of Restaurant = RestaurantI with
-  (Syntax = SyntaxSwe), 
-  (LexRestaurant = LexRestaurantSwe) ;