/.cvsignore/1.5/Sun Nov 16 16:26:44 2003//
/Makefile/1.1/Wed Aug 22 10:42:34 2001//
/TcRun025_B.hs/1.1/Mon Nov 18 14:18:46 2002//
/all.T/1.26/Fri Apr  2 16:50:29 2004//
/church.hs/1.1/Thu Nov 28 17:21:52 2002//
/church.stdout/1.2/Fri Nov 29 11:11:12 2002//
/tcrun001.hs/1.1/Wed Jun 20 15:57:19 2001//
/tcrun001.stdout/1.1/Wed Jun 20 15:57:19 2001//
/tcrun002.hs/1.2/Sat Mar  2 18:10:57 2002//
/tcrun002.stdout/1.1/Wed Jun 20 15:57:19 2001//
/tcrun002.stdout-alpha-dec-osf3/1.1/Sun Sep 23 20:59:55 2001//
/tcrun002.stdout-mips-sgi-irix/1.1/Mon Oct 27 06:43:29 2003//
/tcrun002.stdout-ws-64/1.1/Mon Jul 19 22:11:54 2004//
/tcrun002.stdout-x86_64-unknown-openbsd/1.1/Sat Apr 24 02:11:31 2004//
/tcrun003.hs/1.1/Wed Jun 20 15:57:19 2001//
/tcrun003.stdout/1.2/Mon Jun 21 16:23:07 2004//
/tcrun004.hs/1.1/Wed Jun 20 15:57:19 2001//
/tcrun004.stdout/1.1/Wed Jun 20 15:57:19 2001//
/tcrun005.hs/1.1/Wed Jun 20 15:57:19 2001//
/tcrun005.stdout/1.1/Wed Jun 20 15:57:19 2001//
/tcrun006.hs/1.1/Wed Jun 20 15:57:19 2001//
/tcrun006.stdout/1.1/Wed Jun 20 15:57:19 2001//
/tcrun007.hs/1.2/Sat Mar  2 18:10:57 2002//
/tcrun007.stdout/1.1/Wed Jun 20 15:57:19 2001//
/tcrun008.hs/1.1/Wed Jun 20 15:57:19 2001//
/tcrun008.stdout/1.1/Wed Jun 20 15:57:19 2001//
/tcrun009.hs/1.2/Thu Jun 28 16:25:46 2001//
/tcrun009.stdout/1.2/Thu Jun 28 16:25:46 2001//
/tcrun010.hs/1.1/Wed Jun 20 15:57:19 2001//
/tcrun010.stdout/1.1/Wed Jun 20 15:57:19 2001//
/tcrun011.hs/1.1/Wed Jun 20 15:57:19 2001//
/tcrun011.stdout/1.1/Wed Jun 20 15:57:19 2001//
/tcrun012.hs/1.2/Tue May 28 15:57:44 2002//
/tcrun012.stdout/1.1/Wed Jun 20 15:57:19 2001//
/tcrun013.hs/1.1/Wed Jun 20 15:57:19 2001//
/tcrun013.stdout/1.1/Wed Jun 20 15:57:19 2001//
/tcrun014.hs/1.1/Fri Jul 20 16:51:58 2001//
/tcrun014.stdout/1.1/Fri Jul 20 16:51:58 2001//
/tcrun015.hs/1.1/Wed Aug 22 14:11:33 2001//
/tcrun015.stdout/1.1/Wed Aug 22 14:11:33 2001//
/tcrun016.hs/1.2/Thu Sep 20 08:21:06 2001//
/tcrun016.stdout/1.2/Thu Sep 20 08:21:06 2001//
/tcrun017.hs/1.3/Mon Jul 29 16:16:17 2002//
/tcrun017.stdout/1.1/Thu Sep 20 08:21:06 2001//
/tcrun018.hs/1.1/Thu Oct  4 08:18:06 2001//
/tcrun018.stdout/1.1/Thu Oct  4 08:18:06 2001//
/tcrun019.hs/1.2/Fri Jun  7 16:26:58 2002//
/tcrun019.stdout/1.1/Thu Oct 25 14:06:07 2001//
/tcrun020.hs/1.1/Fri Mar  8 15:55:29 2002//
/tcrun020.stdout/1.1/Fri Mar  8 15:55:29 2002//
/tcrun021.hs/1.3/Wed Mar 10 11:52:41 2004//
/tcrun021.stdout/1.1/Tue Apr  2 13:48:41 2002//
/tcrun022.hs/1.3/Fri Sep 20 06:13:42 2002//
/tcrun022.stdout/1.4/Fri Sep 20 06:13:42 2002//
/tcrun023.hs/1.1/Mon Nov 18 14:18:46 2002//
/tcrun023.stdout/1.1/Mon Nov 18 14:18:46 2002//
/tcrun024.hs/1.1/Mon Nov 18 14:18:46 2002//
/tcrun024.stdout/1.1/Mon Nov 18 14:18:46 2002//
/tcrun025.hs/1.1/Mon Nov 18 14:18:46 2002//
/tcrun025.stdout/1.1/Mon Nov 18 14:18:46 2002//
/tcrun026.hs/1.1/Mon Dec  2 09:06:43 2002//
/tcrun026.stdout/1.1/Mon Dec  2 09:06:43 2002//
/tcrun027.hs/1.1/Fri Feb 14 10:54:42 2003//
/tcrun027.stdout/1.2/Wed Feb 19 11:35:28 2003//
/tcrun028.hs/1.1/Wed Apr  9 08:06:59 2003//
/tcrun028.stdout/1.1/Wed Apr  9 08:06:59 2003//
/tcrun029.hs/1.1/Fri May 30 14:11:18 2003//
/tcrun029.stdout/1.1/Fri May 30 14:11:19 2003//
/tcrun030.hs/1.1/Thu Sep 11 14:22:10 2003//
/tcrun030.stdout/1.1/Thu Sep 11 14:22:10 2003//
/tcrun031.hs/1.1/Fri Apr  2 16:50:29 2004//
/tcrun031.stdout/1.2/Tue Apr  6 08:41:36 2004//
D
