Update from HH
[hl193./.git] / 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";;