From 77270a010a0b453e9a84c3e62db7cfd22e49d55d Mon Sep 17 00:00:00 2001
From: bjorn <bjorn@bringert.net>
Date: Thu, 14 Aug 2008 07:58:04 +0000
Subject: Remove the grammars directory. It was full of old grammars that don't
 compile these days. See the old source distributions if you want them.

---
 grammars/timetable/Timetable.gf | 31 -------------------------------
 1 file changed, 31 deletions(-)
 delete mode 100644 grammars/timetable/Timetable.gf

(limited to 'grammars/timetable/Timetable.gf')

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 ;
-}
-- 
cgit v1.2.3