--rw-r--r-- bootes sys 3320 Sep 19  2009 IntLib.lhs
--rw-r--r-- fernan sys 2571 Sep 19  2009 Main.lhs
--rw-r--r-- bootes sys 3441 Sep 19  2009 Prime.lhs
--rw-r--r-- fernan sys 1550 Sep 19  2009 Random.lhs
--rw-r--r-- fernan sys  184 Sep 19  2009 primetest.stdin
--rw-r--r-- fernan sys   14 Sep 19  2009 primetest.stdout