<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">
diff -r 1569a56bd81b -r ba789a0768a2 document/root.tex
--- a/document/root.tex	Thu Jan 10 13:13:27 2013 +0000
+++ b/document/root.tex	Fri Jan 11 05:45:40 2013 +0000
@@ -3,6 +3,7 @@
 \usepackage{isabellesym}
 \usepackage{times}
 \usepackage{amssymb}
+\usepackage{amsmath}
 \usepackage{mathpartir}
 \usepackage{pdfsetup}
 \usepackage{tikz}




</pre></body></html>