/BadInsort.hs/1.1/Fri Mar 15 16:18:01 2002//
/Insort.hs/1.2/Fri Jun 14 18:36:11 2002//
/afp2002.ps.gz/1.1/Wed Aug 14 17:09:31 2002//
/frejaHatHood.ps.gz/1.2/Wed Jun 13 16:51:19 2001//
/hat-trail-1.eps/1.1/Mon May 21 10:33:27 2001//
/hat-trail-1.pdf/1.1/Fri Mar 15 11:43:53 2002//
/hat-trail.gif/1.1/Mon May 21 10:33:27 2001//
/hat.gif/1.1/Mon May 21 10:33:27 2001//
/hw01-draft.ps.gz/1.1/Wed Jun 13 16:51:02 2001//
/ifl2002.ps.gz/1.1/Wed Aug 14 17:09:31 2002//
/newhat.ps.gz/1.1/Tue Sep 18 16:03:31 2001//
/paper.dvi/1.1/Thu Feb  8 16:45:35 2001//
/proposal.html/1.1/Thu Feb  8 16:45:35 2001//
/toolkitThesis.ps.gz/1.1/Fri Dec 14 18:37:02 2001//
/tutorial1.hva/1.1/Sat Mar 16 12:35:20 2002//
/hat-trans.html/1.3/Fri Mar 12 11:15:56 2004//
/maillist.html/1.4/Fri Mar 12 11:16:16 2004//
/new_tiny.gif/1.1/Fri Mar 28 11:25:45 2003//
/old-tracing.html/1.2/Fri Mar 12 11:16:20 2004//
/publications.html/1.7/Fri Mar 12 11:14:20 2004//
/tracing.html/1.2/Fri Mar 12 11:16:45 2004//
/install.html/1.7/Tue Jul 27 15:07:58 2004//
/libraries.html/1.6/Tue Jul 27 14:14:06 2004//
/hatexploreuser.tex/1.1/Tue May  3 17:49:38 2005//
/hatuser.tex/1.24/Wed May  4 10:28:27 2005//
/tutorial1.tex/1.6/Wed May  4 10:28:28 2005//
/bugs.html/1.10/Tue Oct 12 13:51:36 2004//
/cvs.html/1.4/Tue Oct 12 13:54:29 2004//
/faq.html/1.9/Tue Oct 12 14:00:40 2004//
/feature-table.html/1.10/Tue Oct 12 14:01:36 2004//
/requirements.html/1.7/Tue Oct 12 13:45:46 2004//
/todo.html/1.4/Tue Mar  1 16:25:11 2005//
/hatexploreuser.pdf/1.1/Wed May  4 13:17:50 2005//
/config.html/1.7/Tue May 17 09:08:48 2005//
/copyright.html/1.7/Tue May 17 09:14:38 2005//
/download.html/1.10/Tue May 17 09:16:29 2005//
/index.html/1.24/Tue May 17 09:18:18 2005//
/status.html/1.10/Tue May 17 09:19:39 2005//
D
