started a subdir for the book

1 files changed, 9 insertions, 0 deletions

diff --git a/book/examples/chapter9/Logic.gf b/book/examples/chapter9/Logic.gf
new file mode 100644
index 000000000..0ce8df7e9
--- /dev/null
+++ b/book/examples/chapter9/Logic.gf
@@ -0,0 +1,9 @@
+abstract Logic = {
+  cat
+    Prop ; Ind ;
+  data
+    And, Or, If : Prop -> Prop -> Prop ;
+    Not         : Prop -> Prop ;
+    All, Exist  : (Ind -> Prop) -> Prop ;
+    Past        : Prop -> Prop ;
+}