/.cvsignore/1.2/Fri May 15 16:54:53 1998//Tmozart-1-2-5-r1
/crew.oz/1.9/Thu Dec  9 16:49:37 1999//Tmozart-1-2-5-r1
/denys.oz/1.3/Tue Oct  3 23:40:00 2000//Tmozart-1-2-5-r1
/golf-reified.oz/1.1/Thu Apr  1 10:17:20 1999//Tmozart-1-2-5-r1
/golf.oz/1.7/Thu Oct 22 08:38:29 1998//Tmozart-1-2-5-r1
/hamming.oz/1.8/Thu Dec  9 16:49:37 1999//Tmozart-1-2-5-r1
/knapsack.oz/1.7/Wed Sep 23 10:09:23 1998//Tmozart-1-2-5-r1
/manuel.oz/1.2/Wed Jul 21 13:09:27 1999//Tmozart-1-2-5-r1
/manuel_constr.oz/1.2/Wed Jul 21 13:09:21 1999//Tmozart-1-2-5-r1
/misc.oz/1.20/Tue May 30 21:02:39 2000//Tmozart-1-2-5-r1
/steiner.oz/1.9/Thu Dec  9 16:49:37 1999//Tmozart-1-2-5-r1
D
