1 (* ========================================================================== *)
2 (* FLYSPECK - BOOK FORMALIZATION *)
4 (* Definition: JJGTQMN *)
6 (* Author: Thomas C. Hales *)
7 (* Date: Feb 14, 2010 *)
8 (* ========================================================================== *)
14 module type Jjgtqmn_def_type = sig
18 flyspeck_needs "general/sphere.hl";;
20 module Jjgtqmn : Jjgtqmn_def_type = struct
22 let JJGTQMN = Sphere.OMEGA_LIST;;