gf-book web page index and toc

1 files changed, 0 insertions, 54 deletions

diff --git a/book/examples/chapter9/LogicIta.gf b/book/examples/chapter9/LogicIta.gf
deleted file mode 100644
index f94edc11c..000000000
--- a/book/examples/chapter9/LogicIta.gf
+++ /dev/null
@@ -1,54 +0,0 @@
-concrete LogicIta of Logic = GrammarIta ** open ResIta, Formal, Prelude in {
-
-
-lincat
-  T, I = SS ;
-lin
-  And x y = infixSS "&" x y ;
-  Or x y = infixSS "v" x y ;
-  If x y = infixSS "->" x y ;
-  Not x = prefixSS "~" x ;
-  All P = prefixSS (parenth ("A" ++ P.$0)) P ;
-  Exist P = prefixSS (parenth ("E" ++ P.$0)) P ;
-  Past P = prefixSS "Past" P ;
-
-lin
-  iN f = star (f.s ! Sg) ;
-  iA f = star (f.s ! Masc ! Sg) ;
-  iV f = star (f.s ! VInf) ;
-  iV2 f x y = star (f.s ! VInf) (cc2 x y) ;
-
-oper star : Str -> SS -> SS = \f,x -> prefixSS f (ss (parenth x.s)) ;
-
-{-
-
-lincat
-  T, I = TermPrec ;
-lin
-  And = infixl 2 "&" ;
-  Or  = infixl 2 "v" ;
-  If  = infixr 1 "->" ;
---  Not = prefix 3 "~" ;
---  All : (I -> T) -> T ;
---  Exist : (I -> T) -> T ;
---  Past : T -> T ;
-
-lin
-  iS   : S -> T ;
-  iCl  : Cl -> T ;
-  iNP  : NP -> (I -> T) -> T ;
-  iVP  : VP -> I -> T ;
-  iAP  : AP -> I -> T ;
-  iCN  : CN -> I -> T ;
-  iDet : Det -> (I -> T) -> (I -> T) -> T ;
-  iN   : N -> I -> T ;
-  iA   : A -> I -> T ;
-  iV   : V -> I -> T ;
-  iV2  : V2 -> I -> I -> T ;
-  iAdA : AdA -> (I -> T) -> I -> T ;
-  iTense : Tense -> T -> T ;
-  iPol  : Pol  -> T -> T ;
-  iConj : Conj -> T -> T -> T ;
--}
-
-}