1 files changed, 0 insertions, 30 deletions
diff --git a/examples/travel/Essential.gf b/examples/travel/Essential.gf
deleted file mode 100644
index f90dc45b6..000000000
--- a/examples/travel/Essential.gf
+++ /dev/null
@@ -1,30 +0,0 @@
--- the essential phrases from Lone Planet Thai Phrasebook
-
-abstract Essential = {
-
-cat 
-  Phrase ;
-  Number ;
-
-fun
-  Hello           : Phrase ;
-  Goodbye         : Phrase ;
-  Please          : Phrase ;
-  ThankYou        : Phrase ;
-  YoureWelcome    : Phrase ;
-  Yes             : Phrase ;
-  No              : Phrase ;
-  ExcuseAttention : Phrase ;
-  ExcuseGetPast   : Phrase ;
-  Sorry           : Phrase ;
-  IUnderstand     : Phrase ;
-  IDontUnderstand : Phrase ;
-  Help            : Phrase ;
-  WhereAreToilets : Phrase ;
-
-  
-  SayNumber : Number -> Phrase ;
-
-  One, Two, Three, Four, Five, Six, Seven, Eight, Nine, Ten : Number ;
-
-}
-\ No newline at end of file