/fqsort/1.1/Thu Dec 28 15:15:49 2000//
/minsort/1.2/Thu Dec 28 15:15:48 2000//
/qsort/1.2/Thu Dec 28 15:15:48 2000//
/qsort.compute/1.3/Thu Dec 28 15:15:49 2000//
/samsort/1.1/Thu Dec 28 15:15:48 2000//
/flag/1.5/Fri Feb  2 16:45:08 2001//
/partitionScript.sml/1.2/Fri Feb  2 16:31:18 2001//
/permScript.sml/1.3/Fri Feb  2 16:31:28 2001//
/sortingScript.sml/1.3/Fri Feb  2 16:31:34 2001//
D
