Merge pull request #25 from pitmonticone/fix-blueprint

fix blueprint

Author: sinhp

blueprint/src/web.tex

@@ -8,7 +8,7 @@
 
 \usepackage{amssymb, amsthm, amsmath}
 \usepackage{hyperref}
-\usepackage[showmore, dep_graph,thms=defn+prop+lemma+cor]{blueprint}
+\usepackage[showmore, dep_graph]{blueprint}
 \usepackage{tikz-cd}
 % \usepackage{bussproofs}