--rw-r--r-- fernan sys 2653 Sep 19  2009 Auxil.hs
--rw-r--r-- fernan sys   81 Sep 19  2009 Interval.hs
--rw-r--r-- fernan sys 2111 Sep 19  2009 Key.lhs
--rw-r--r-- fernan sys  235 Sep 19  2009 Main.hs
--rw-r--r-- fernan sys 2472 Sep 19  2009 Prog.hs
--rw-r--r-- fernan sys  158 Sep 19  2009 cichelli.stdout