diff -r 201c2c6d8696 -r 7ed2a25dd115 hws/hw05.tex --- a/hws/hw05.tex Tue Oct 28 06:01:00 2014 +0000 +++ b/hws/hw05.tex Tue Oct 28 12:24:11 2014 +0000 @@ -1,12 +1,7 @@ \documentclass{article} -\usepackage{charter} -\usepackage{hyperref} -\usepackage{amssymb} -\usepackage{amsmath} -\usepackage{tikz} -\usetikzlibrary{automata} +\usepackage{../style} +\usepackage{../graphics} -\newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}% for definitions \begin{document}