gf-book web page index and toc

1 files changed, 0 insertions, 42 deletions

diff --git a/book/examples/chapter9/SemanticsIta.gf b/book/examples/chapter9/SemanticsIta.gf
deleted file mode 100644
index 70d4b79b9..000000000
--- a/book/examples/chapter9/SemanticsIta.gf
+++ /dev/null
@@ -1,42 +0,0 @@
-concrete SemanticsIta of Semantics = GrammarIta, LogicSymb ** open ResIta, Formal, Prelude in {
-
-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 -> TermPrec = \f,x -> prefix 3 (f ++ "*") (constant (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 ;
--}
-
-}