gf-book web page index and toc

16 files changed, 0 insertions, 205 deletions

diff --git a/book/examples/chapter2/Copy.gf b/book/examples/chapter2/Copy.gf
deleted file mode 100644
index 58d74861c..000000000
--- a/book/examples/chapter2/Copy.gf
+++ /dev/null
@@ -1,7 +0,0 @@
-concrete Copy of CopyAbs = {
-  lincat S, AB = Str ;
-  lin s x = x ++ x ;
-      end = [] ;
-      a x = "a" ++ x ;
-      b x = "b" ++ x ;
-}
diff --git a/book/examples/chapter2/CopyAbs.gf b/book/examples/chapter2/CopyAbs.gf
deleted file mode 100644
index 9a915568b..000000000
--- a/book/examples/chapter2/CopyAbs.gf
+++ /dev/null
@@ -1,6 +0,0 @@
-abstract CopyAbs = {
-  cat S ; AB ;
-  fun s   : AB -> S ;
-      end : AB ;
-      a,b : AB -> AB ;
-}
diff --git a/book/examples/chapter2/Food.gf b/book/examples/chapter2/Food.gf
deleted file mode 100644
index 7cf779b4c..000000000
--- a/book/examples/chapter2/Food.gf
+++ /dev/null
@@ -1,13 +0,0 @@
-abstract Food = {
-  flags startcat = Comment ;
-  cat
-    Comment ; Item ; Kind ; Quality ; 
-  fun
-    Pred : Item -> Quality -> Comment ;
-    This, That : Kind -> Item ;
-    Mod : Quality -> Kind -> Kind ;
-    Wine, Cheese, Fish : Kind ;
-    Very : Quality -> Quality ;
-    Fresh, Warm, Italian, 
-      Expensive, Delicious, Boring : Quality ;
-}
diff --git a/book/examples/chapter2/Food.probs b/book/examples/chapter2/Food.probs
deleted file mode 100644
index 2d75774a1..000000000
--- a/book/examples/chapter2/Food.probs
+++ /dev/null
@@ -1,4 +0,0 @@
-  This  0.8
-  Mod   0.2
-  Wine  0.0
-  Fresh 0.4
diff --git a/book/examples/chapter2/FoodEng.gf b/book/examples/chapter2/FoodEng.gf
deleted file mode 100644
index f2ed510fe..000000000
--- a/book/examples/chapter2/FoodEng.gf
+++ /dev/null
@@ -1,19 +0,0 @@
-concrete FoodEng of Food = {
-  lincat
-    Comment, Item, Kind, Quality = Str ;
-  lin
-    Pred item quality = item ++ "is" ++ quality ;
-    This kind = "this" ++ kind ;
-    That kind = "that" ++ kind ;
-    Mod quality kind = quality ++ kind ;
-    Wine = "wine" ;
-    Cheese = "cheese" ;
-    Fish = "fish" ;
-    Very quality = "very" ++ quality ;
-    Fresh = "fresh" ;
-    Warm = "warm" ;
-    Italian = "Italian" ;
-    Expensive = "expensive" ;
-    Delicious = "delicious" ;
-    Boring = "boring" ;
-}  
diff --git a/book/examples/chapter2/FoodHin.gf b/book/examples/chapter2/FoodHin.gf
deleted file mode 100644
index 0f6f25c5e..000000000
--- a/book/examples/chapter2/FoodHin.gf
+++ /dev/null
@@ -1,24 +0,0 @@
-
- concrete FoodHin of Food = {
-   flags coding = utf8 ;
-   lincat Comment, Item, Kind, Quality = Str ;
-   lin
-     Pred item quality = item ++ quality ++ "है" ;
-     This kind = "यह" ++ kind ;
-     That kind = "वह" ++ kind ;
-     Mod quality kind = quality ++ kind ;
-     Wine = "मदिरा" ;
-     Cheese = "पनीर" ;
-     Fish = "मछली" ;
-     Very quality = "अति" ++ quality ;
-     Fresh = "ताज़ा" ;
-     Warm = "गरम" ;
-     Italian = "इटली" ; 
-     Expensive = "बहुमूल्य" ;
-     Delicious = "स्वादिष्ट" ;
-     Boring = "अरुचिकर" ;
- }
-
-
-
-
diff --git a/book/examples/chapter2/FoodIta.gf b/book/examples/chapter2/FoodIta.gf
deleted file mode 100644
index 466104432..000000000
--- a/book/examples/chapter2/FoodIta.gf
+++ /dev/null
@@ -1,19 +0,0 @@
-concrete FoodIta of Food = {
-  lincat
-    Comment, Item, Kind, Quality = Str ;
-  lin
-    Pred item quality = item ++ "�" ++ quality ;
-    This kind = "questo" ++ kind ;
-    That kind = "quel" ++ kind ;
-    Mod quality kind = kind ++ quality ;
-    Wine = "vino" ;
-    Cheese = "formaggio" ;
-    Fish = "pesce" ;
-    Very quality = "molto" ++ quality ;
-    Fresh = "fresco" ;
-    Warm = "caldo" ;
-    Italian = "italiano" ;
-    Expensive = "caro" ;
-    Delicious = "delizioso" ;
-    Boring = "noioso" ;
-}
diff --git a/book/examples/chapter2/Letters.gf b/book/examples/chapter2/Letters.gf
deleted file mode 100644
index 2b5a62d2d..000000000
--- a/book/examples/chapter2/Letters.gf
+++ /dev/null
@@ -1,8 +0,0 @@
-abstract Letters = {
-
-cat L ;
-fun 
-  a, b, c, d, e, f, g, h, i, j, k, l, m, 
-  n, o, p, q, r, s, t, u, v, w, x, y, z : L ;
-
-}
diff --git a/book/examples/chapter2/LettersCnc.gf b/book/examples/chapter2/LettersCnc.gf
deleted file mode 100644
index 3301f5465..000000000
--- a/book/examples/chapter2/LettersCnc.gf
+++ /dev/null
@@ -1,31 +0,0 @@
-concrete LettersCnc of Letters = {
-
-  lincat L = Str ;
-  lin 
-    a = "a" ;
-    b = "b" ;
-    c = "c" ;
-    d = "d" ;
-    e = "e" ;
-    f = "f" ;
-    g = "g" ;
-    h = "h" ;
-    i = "i" ;
-    j = "j" ;
-    k = "k" ;
-    l = "l" ;
-    m = "m" ;
-    n = "n" ;
-    o = "o" ;
-    p = "p" ;
-    q = "q" ;
-    r = "r" ;
-    s = "s" ;
-    t = "t" ;
-    u = "u" ;
-    v = "v" ;
-    w = "w" ;
-    x = "x" ;
-    y = "y" ;
-    z = "z" ;
-}
diff --git a/book/examples/chapter2/Strings.gf b/book/examples/chapter2/Strings.gf
deleted file mode 100644
index 411ceed53..000000000
--- a/book/examples/chapter2/Strings.gf
+++ /dev/null
@@ -1,7 +0,0 @@
-abstract Strings = Letters ** {
-
-cat S ;
-fun 
-  E : S ;
-  C : L -> S -> S ;
-}
diff --git a/book/examples/chapter2/StringsBW.gf b/book/examples/chapter2/StringsBW.gf
deleted file mode 100644
index 8e558d953..000000000
--- a/book/examples/chapter2/StringsBW.gf
+++ /dev/null
@@ -1,5 +0,0 @@
-concrete StringsBW of Strings = LettersCnc ** {
-  lincat S = Str ;
-  lin E = [] ;
-  lin C head tail = tail ++ head ;
-}
diff --git a/book/examples/chapter2/StringsFW.gf b/book/examples/chapter2/StringsFW.gf
deleted file mode 100644
index c0f80c313..000000000
--- a/book/examples/chapter2/StringsFW.gf
+++ /dev/null
@@ -1,5 +0,0 @@
-concrete StringsFW of Strings = LettersCnc ** {
-  lincat S = Str ;
-  lin E = [] ;
-  lin C head tail = head ++ tail ;
-}
diff --git a/book/examples/chapter2/Ticket.gf b/book/examples/chapter2/Ticket.gf
deleted file mode 100644
index f3f2dd851..000000000
--- a/book/examples/chapter2/Ticket.gf
+++ /dev/null
@@ -1,10 +0,0 @@
-abstract Ticket = {
-
-flags startcat = Request ;
-cat
-  Request ; Station ;
-fun 
-  Ticket : Station -> Station -> Request ;
-  Hamburg, Paris : Station ;
-
-}
diff --git a/book/examples/chapter2/TicketEng.gf b/book/examples/chapter2/TicketEng.gf
deleted file mode 100644
index 54e44741d..000000000
--- a/book/examples/chapter2/TicketEng.gf
+++ /dev/null
@@ -1,19 +0,0 @@
-concrete TicketEng of Ticket = {
-
-lincat
-  Request, Station = Str ;
-lin 
-  Ticket X Y = 
-    ((("I" ++ ("would like" | "want") ++ "to get" |
-      ("may" | "can") ++ "I get" | 
-      "can you give me" |
-      []) ++ 
-        "a ticket") | 
-     []) ++ 
-     "from" ++ X ++ "to" ++ Y ++ 
-     ("please" | []) ;
-
-  Hamburg = "Hamburg" ;
-  Paris = "Paris" ;
-
-}
diff --git a/book/examples/chapter2/foodEng.cf b/book/examples/chapter2/foodEng.cf
deleted file mode 100644
index 3216f2e30..000000000
--- a/book/examples/chapter2/foodEng.cf
+++ /dev/null
@@ -1,14 +0,0 @@
-Pred.      Comment ::= Item "is" Quality
-This.      Item    ::= "this" Kind 
-That.      Item    ::= "that" Kind
-Mod.       Kind    ::= Quality Kind 
-Wine.      Kind    ::= "wine" 
-Cheese.    Kind    ::= "cheese" 
-Fish.      Kind    ::= "fish"
-Very.      Quality ::= "very" Quality
-Fresh.     Quality ::= "fresh" 
-Warm.      Quality ::= "warm" 
-Italian.   Quality ::= "Italian" 
-Expensive. Quality ::= "expensive" 
-Delicious. Quality ::= "delicious" 
-Boring.    Quality ::= "boring"
diff --git a/book/examples/chapter2/foodIta.cf b/book/examples/chapter2/foodIta.cf
deleted file mode 100644
index 02b825ed0..000000000
--- a/book/examples/chapter2/foodIta.cf
+++ /dev/null
@@ -1,14 +0,0 @@
-Pred.      Comment ::= Item "è" Quality
-This.      Item    ::= "questo" Kind 
-That.      Item    ::= "quel" Kind
-Mod.       Kind    ::= Kind Quality
-Wine.      Kind    ::= "vino" 
-Cheese.    Kind    ::= "formaggio"
-Fish.      Kind    ::= "pesce"
-Very.      Quality ::= "molto" Quality
-Fresh.     Quality ::= "fresco" 
-Warm.      Quality ::= "caldo" 
-Italian.   Quality ::= "italiano" 
-Expensive. Quality ::= "caro" 
-Delicious. Quality ::= "delizioso" 
-Boring.    Quality ::= "noioso"