(* ========================================================================== *)
(* FLYSPECK - BOOK FORMALIZATION                                              *)
(*                                                                            *)
(* Lemma: xx                                                                  *)
(* Chapter: leg                                                               *)
(* Author: Thomas C. Hales                                                    *)
(* Date: 2010-02-09                                                           *)
(* ========================================================================== *)





module type Xx_def_type = sig
  val xx : thm
end;;


module Xx : Xx_def_type = struct


 let xx = 


end;;