/IntLib.lhs/1.1/Thu Aug  5 11:13:39 2004//
/Main.lhs/1.1/Thu Aug  5 11:13:39 2004//
/Prime.lhs/1.1/Thu Aug  5 11:13:39 2004//
/Random.lhs/1.1/Thu Aug  5 11:13:39 2004//
/primetest.stdin/1.1/Mon Jan  8 20:04:24 1996//
/primetest.stdout/1.1/Thu Jul 25 21:32:58 1996//
D
