1 files changed, 4 insertions, 0 deletions
diff --git a/doc/tutorial/Fish.gf b/doc/tutorial/Fish.gf
new file mode 100644
index 000000000..c404115e9
--- /dev/null
+++ b/doc/tutorial/Fish.gf
@@ -0,0 +1,4 @@
+abstract Fish = {
+    cat Fish ;
+    fun Salmon, Perch : Fish ;
+}