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