gf-book web page index and toc

1 files changed, 13 insertions, 0 deletions

diff --git a/gf-book/examples/chapter9/LogicSymb.gf b/gf-book/examples/chapter9/LogicSymb.gf
new file mode 100644
index 000000000..14932fe9b
--- /dev/null
+++ b/gf-book/examples/chapter9/LogicSymb.gf
@@ -0,0 +1,13 @@
+concrete LogicSymb of Logic = open Formal, Prelude in {
+
+lincat
+  Prop, Ind = TermPrec ;
+lin
+  And = infixl 2 "\\&" ;
+  Or  = infixl 2 "\\vee" ;
+  If  = infixr 1 "\\sup" ;
+  Not = prefix 3 "\\sim" ;
+  All P = prefix 3 (parenth ("\\forall" ++ P.$0)) P ;
+  Exist P = prefix 3 (parenth ("\\exists" ++ P.$0)) P ;
+  Past = prefix 3 "P" ;
+}