git-svn-id: http://flyspeck.googlecode.com/svn@3088 7e6f0243-3638-0410-8646-9b5c9460da73


git-svn-id: http://flyspeck.googlecode.com/svn@3089 7e6f0243-3638-0410-8646-9b5c9460da73
removed packing/marchal_cells_2.hl from build

git-svn-id: http://flyspeck.googlecode.com/svn@3090 7e6f0243-3638-0410-8646-9b5c9460da73
added mk_all_ineq.hl

git-svn-id: http://flyspeck.googlecode.com/svn@3091 7e6f0243-3638-0410-8646-9b5c9460da73


git-svn-id: http://flyspeck.googlecode.com/svn@3092 7e6f0243-3638-0410-8646-9b5c9460da73


git-svn-id: http://flyspeck.googlecode.com/svn@3093 7e6f0243-3638-0410-8646-9b5c9460da73


git-svn-id: http://flyspeck.googlecode.com/svn@3094 7e6f0243-3638-0410-8646-9b5c9460da73


git-svn-id: http://flyspeck.googlecode.com/svn@3095 7e6f0243-3638-0410-8646-9b5c9460da73
Trigonometry2.DIHV_SYM merged with flyspeck.ml version. Toplevel bug in Counting_spheres.hl corrected

git-svn-id: http://flyspeck.googlecode.com/svn@3096 7e6f0243-3638-0410-8646-9b5c9460da73


git-svn-id: http://flyspeck.googlecode.com/svn@3097 7e6f0243-3638-0410-8646-9b5c9460da73


git-svn-id: http://flyspeck.googlecode.com/svn@3098 7e6f0243-3638-0410-8646-9b5c9460da73


git-svn-id: http://flyspeck.googlecode.com/svn@3099 7e6f0243-3638-0410-8646-9b5c9460da73


git-svn-id: http://flyspeck.googlecode.com/svn@3100 7e6f0243-3638-0410-8646-9b5c9460da73


git-svn-id: http://flyspeck.googlecode.com/svn@3101 7e6f0243-3638-0410-8646-9b5c9460da73


git-svn-id: http://flyspeck.googlecode.com/svn@3102 7e6f0243-3638-0410-8646-9b5c9460da73


git-svn-id: http://flyspeck.googlecode.com/svn@3103 7e6f0243-3638-0410-8646-9b5c9460da73


git-svn-id: http://flyspeck.googlecode.com/svn@3104 7e6f0243-3638-0410-8646-9b5c9460da73


git-svn-id: http://flyspeck.googlecode.com/svn@3105 7e6f0243-3638-0410-8646-9b5c9460da73


git-svn-id: http://flyspeck.googlecode.com/svn@3106 7e6f0243-3638-0410-8646-9b5c9460da73
serious typo corrected in OXL_def.hl, cc_eps-> &0 in quqy.  It affects proofs in OXL_2012.hl

git-svn-id: http://flyspeck.googlecode.com/svn@3107 7e6f0243-3638-0410-8646-9b5c9460da73