1 (* ========================================================================= *)
2 (* Permuted lists, finite permutations and quick sort. *)
4 (* Author: Marco Maggesi *)
5 (* University of Florence, Italy *)
6 (* http://www.math.unifi.it/~maggesi/ *)
8 (* (c) Copyright, Marco Maggesi, 2005-2007 *)
9 (* ========================================================================= *)
11 loadt "Permutation/morelist.ml";;
12 loadt "Permutation/permuted.ml";;
13 loadt "Permutation/permutation.ml";;
14 loadt "Permutation/qsort.ml";;