1 files changed, 0 insertions, 31 deletions
diff --git a/grammars/timetable/Timetable.gf b/grammars/timetable/Timetable.gf
deleted file mode 100644
index 8eab2600b..000000000
--- a/grammars/timetable/Timetable.gf
+++ /dev/null
@@ -1,31 +0,0 @@
-abstract Timetable = {
-  cat
-    Table ;
-    TrainList CityList ;
-    City ;
-    CityList ;
-    Train CityList ;
-    Stop ;
-    Time ;
-    Number ;
-
-  fun
-    MkTable : (cs : CityList) -> TrainList cs -> Table ;
-    NilTrain : (cs : CityList) -> TrainList cs ;
-    ConsTrain : 
-      (cs : CityList) -> Number -> Train cs -> TrainList cs -> TrainList cs ;
-    OneCity : City -> CityList ;
-    ConsCity : City -> CityList -> CityList ;
-
-    StopTime : Time -> Stop ;
-    NoStop : Stop ;
-    
-    LocTrain : (c : City) -> Stop -> Train (OneCity c) ;
-    CityTrain : 
-      (c : City) -> Stop -> (cs : CityList) -> 
-        Train cs -> Train (ConsCity c cs) ;
-
-    T : Int -> Time ;
-    N : Int -> Number ;
-    C : String -> City ;
-}