check

book.tex

@@ -2,12 +2,11 @@
 \documentclass[7x10]{TimesAPriori_MIT}%%7x10
 %\documentclass[8x10]{TimesAPriori_MIT}%%8x10
 
-\usepackage[T1]{fontenc}
 \usepackage[utf8]{inputenc}
+%% \usepackage{setspace}
+%% \doublespacing
 \usepackage{listings}
 \usepackage{verbatim}
-\usepackage{amsmath}
-\usepackage{amsthm}
 \usepackage{amssymb}
 \usepackage{lmodern} % better typewriter font for code
 %\usepackage{wrapfig}