1 files changed, 0 insertions, 11 deletions
diff --git a/doc/tutorial/music/MusicEng.gf b/doc/tutorial/music/MusicEng.gf
deleted file mode 100644
index 60f7b31d4..000000000
--- a/doc/tutorial/music/MusicEng.gf
+++ /dev/null
@@ -1,11 +0,0 @@
---# -path=.:present:api:prelude
-
-  concrete MusicEng of Music = 
-    MusicI - [PropKind] 
-      with
-        (Syntax = SyntaxEng),
-        (MusicLex = MusicLexEng) ** 
-    open SyntaxEng in {
-  lin
-    PropKind k p = mkCN k (mkRS (mkRCl which_RP (mkVP p))) ;
-  }