--rw-r--r-- fernan sys 1488 Sep 19  2009 README
--rw-r--r-- bootes sys 1737 Sep 19  2009 badsqrt.hs
--rw-r--r-- fernan sys  216 Sep 19  2009 nhc13test1.hs
--rw-r--r-- fernan sys  214 Sep 19  2009 nhc13test10.hs
--rw-r--r-- fernan sys  195 Sep 19  2009 nhc13test11.hs
--rw-r--r-- fernan sys 1035 Sep 19  2009 nhc13test12.hs
--rw-r--r-- fernan sys  513 Sep 19  2009 nhc13test13.hs
--rw-r--r-- fernan sys  623 Sep 19  2009 nhc13test14.hs
--rw-r--r-- fernan sys  330 Sep 19  2009 nhc13test15.hs
--rw-r--r-- fernan sys  257 Sep 19  2009 nhc13test16.hs
--rw-r--r-- fernan sys  220 Sep 19  2009 nhc13test17.hs
--rw-r--r-- fernan sys  296 Sep 19  2009 nhc13test18.hs
--rw-r--r-- fernan sys   69 Sep 19  2009 nhc13test19.hs
--rw-r--r-- fernan sys  467 Sep 19  2009 nhc13test2.hs
--rw-r--r-- bootes sys  218 Sep 19  2009 nhc13test20.hs
--rw-r--r-- fernan sys 1984 Sep 19  2009 nhc13test3.hs
--rw-r--r-- fernan sys   47 Sep 19  2009 nhc13test30.hs
--rw-r--r-- fernan sys   50 Sep 19  2009 nhc13test31.hs
--rw-r--r-- fernan sys   56 Sep 19  2009 nhc13test32.hs
--rw-r--r-- fernan sys  398 Sep 19  2009 nhc13test4.hs
--rw-r--r-- bootes sys  911 Sep 19  2009 nhc13test5.hs
--rw-r--r-- fernan sys 1268 Sep 19  2009 nhc13test6.hs
--rw-r--r-- fernan sys  483 Sep 19  2009 nhc13test7.hs
--rw-r--r-- fernan sys  566 Sep 19  2009 nhc13test8.hs
--rw-r--r-- fernan sys  770 Sep 19  2009 nhc13test9.hs
--rw-r--r-- fernan sys  359 Sep 19  2009 nhc98test19.hs
--rw-r--r-- bootes sys  231 Sep 19  2009 nhc98test20.hs
--rw-r--r-- fernan sys  341 Sep 19  2009 nhc98test21.hs
--rw-r--r-- fernan sys  599 Sep 19  2009 nhc98test22.hs
--rw-r--r-- fernan sys  472 Sep 19  2009 nhc98test23.hs