1 files changed, 9 insertions, 0 deletions
diff --git a/examples/phrasebook/PhrasebookEst.gf b/examples/phrasebook/PhrasebookEst.gf
new file mode 100644
index 000000000..687cf1b45
--- /dev/null
+++ b/examples/phrasebook/PhrasebookEst.gf
@@ -0,0 +1,9 @@
+--# -path=.:present
+
+concrete PhrasebookEst of Phrasebook = 
+  GreetingsEst,
+  WordsEst ** open 
+    SyntaxEst,
+    Prelude in {
+
+}