Permutation/make.ml

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