/.cvsignore/1.2/Fri May 15 16:54:28 1998//Tmozart-1-2-5-r1
/alpha.oz/1.8/Thu Aug 27 00:41:50 1998//Tmozart-1-2-5-r1
/binpacking.oz/1.7/Thu Oct 22 08:38:27 1998//Tmozart-1-2-5-r1
/boundsdistinct.oz/1.1.2.1/Wed Aug  8 16:48:17 2001//Tmozart-1-2-5-r1
/bridge.oz/1.8/Thu Oct 22 08:38:27 1998//Tmozart-1-2-5-r1
/bridge_noterm.oz/1.9/Wed Mar 28 14:18:13 2001//Tmozart-1-2-5-r1
/buildhouse.oz/1.7/Fri Mar 10 13:55:55 2000//Tmozart-1-2-5-r1
/cars.oz/1.10/Thu Sep 23 11:37:22 1999//Tmozart-1-2-5-r1
/change.oz/1.6/Thu Aug 27 00:41:51 1998//Tmozart-1-2-5-r1
/coins.oz/1.4/Fri Mar 10 13:55:55 2000//Tmozart-1-2-5-r1
/college.oz/1.3/Mon Dec  4 01:02:03 2000//Tmozart-1-2-5-r1
/color.oz/1.6/Thu Aug 27 00:41:52 1998//Tmozart-1-2-5-r1
/conference.oz/1.6/Thu Aug 27 00:41:52 1998//Tmozart-1-2-5-r1
/configuration.oz/1.8/Fri Apr 23 18:20:10 1999//Tmozart-1-2-5-r1
/constrdisj.oz/1.8/Thu Oct 22 08:38:27 1998//Tmozart-1-2-5-r1
/diagnosis.oz/1.6/Thu Aug 27 00:41:52 1998//Tmozart-1-2-5-r1
/distribute.oz/1.10/Thu May 27 16:33:10 1999//Tmozart-1-2-5-r1
/divmod.oz/1.10/Thu Apr 29 14:36:53 1999//Tmozart-1-2-5-r1
/donald.oz/1.6/Thu Aug 27 00:41:53 1998//Tmozart-1-2-5-r1
/dsum.oz/1.6/Wed Mar 28 12:15:59 2001//Tmozart-1-2-5-r1
/equations.oz/1.6/Thu Aug 27 00:41:53 1998//Tmozart-1-2-5-r1
/family.oz/1.6/Thu Aug 27 00:41:53 1998//Tmozart-1-2-5-r1
/filter.oz/1.1.2.1/Sat Jul 20 14:34:51 2002//Tmozart-1-2-5-r1
/fraction.oz/1.6/Thu Aug 27 00:41:54 1998//Tmozart-1-2-5-r1
/grocery.oz/1.6/Thu Aug 27 00:41:54 1998//Tmozart-1-2-5-r1
/guards.oz/1.6/Sun Jun 20 13:42:19 1999//Tmozart-1-2-5-r1
/houses.oz/1.7/Thu Mar 25 21:52:22 1999//Tmozart-1-2-5-r1
/hubert.oz/1.6/Thu Aug 27 00:41:54 1998//Tmozart-1-2-5-r1
/kalotan.oz/1.6/Thu Aug 27 00:41:54 1998//Tmozart-1-2-5-r1
/knights.oz/1.7/Thu Oct 22 08:38:28 1998//Tmozart-1-2-5-r1
/magicsequence.oz/1.6/Thu Aug 27 00:41:54 1998//Tmozart-1-2-5-r1
/magicsquare.oz/1.8/Thu Sep 23 11:37:22 1999//Tmozart-1-2-5-r1
/mapcoloring.oz/1.8/Fri Apr 23 18:20:10 1999//Tmozart-1-2-5-r1
/misc1.oz/1.10/Tue Aug  3 12:33:46 1999//Tmozart-1-2-5-r1
/misc2.oz/1.8/Fri Aug 25 11:19:40 2000//Tmozart-1-2-5-r1
/money.oz/1.6/Thu Aug 27 00:41:55 1998//Tmozart-1-2-5-r1
/multiply.oz/1.6/Thu Aug 27 00:41:56 1998//Tmozart-1-2-5-r1
/pel.oz/1.1/Thu Apr 22 10:02:48 1999//Tmozart-1-2-5-r1
/permutation.oz/1.8/Thu Aug 27 00:41:56 1998//Tmozart-1-2-5-r1
/photo.oz/1.7/Fri Apr 23 18:20:11 1999//Tmozart-1-2-5-r1
/pigeon.oz/1.7/Thu Sep 23 11:37:22 1999//Tmozart-1-2-5-r1
/pythagoras.oz/1.7/Fri Apr 23 18:20:11 1999//Tmozart-1-2-5-r1
/queens.oz/1.10/Fri Apr 30 10:45:07 1999//Tmozart-1-2-5-r1
/safe.oz/1.6/Thu Aug 27 00:41:57 1998//Tmozart-1-2-5-r1
/schur.oz/1.8/Thu Sep 23 11:37:22 1999//Tmozart-1-2-5-r1
/srat.oz/1.7/Thu Aug 27 00:41:57 1998//Tmozart-1-2-5-r1
/students.oz/1.12/Fri Mar 10 13:55:55 2000//Tmozart-1-2-5-r1
/sumabs.oz/1.6/Thu Oct 22 08:38:28 1998//Tmozart-1-2-5-r1
/tiling.oz/1.13/Thu Sep 23 11:37:22 1999//Tmozart-1-2-5-r1
/train.oz/1.2/Sun Jun 20 11:27:40 1999//Tmozart-1-2-5-r1
/warehouse.oz/1.6/Thu Aug 27 00:41:58 1998//Tmozart-1-2-5-r1
/watlasm.oz/1.6/Thu Oct 22 08:38:28 1998//Tmozart-1-2-5-r1
/zebra.oz/1.6/Thu Aug 27 00:41:58 1998//Tmozart-1-2-5-r1
D
