1 files changed, 0 insertions, 6 deletions
diff --git a/doc/tutorial/arithm/Lex.gf b/doc/tutorial/arithm/Lex.gf
deleted file mode 100644
index bfc725772..000000000
--- a/doc/tutorial/arithm/Lex.gf
+++ /dev/null
@@ -1,6 +0,0 @@
-abstract Lex = Cat ** {
-  fun
-    zero_PN : PN ;
-    successor_N2 : N2 ;  
-    even_A : A ;
-}