--rw-r--r-- M 53 fernan sys 255 Sep 19 2009 Makefile --rw-r--r-- M 53 fernan sys 83 Sep 19 2009 all.T --rw-r--r-- M 53 bootes sys 972 Sep 19 2009 random1283.hs Go to parent directory