development/thales/chaff/general/xx.hl

   1 (* ========================================================================== *)
   2 (* FLYSPECK - BOOK FORMALIZATION                                              *)
   3 (*                                                                            *)
   4 (* Lemma: xx                                                                  *)
   5 (* Chapter: leg                                                               *)
   6 (* Author: Thomas C. Hales                                                    *)
   7 (* Date: 2010-02-09                                                           *)
   8 (* ========================================================================== *)
   9
  10
  11
  12
  13
  14 module type Xx_def_type = sig
  15   val xx : thm
  16 end;;
  17
  18
  19 module Xx : Xx_def_type = struct
  20
  21
  22  let xx =
  23
  24
  25 end;;
  26