changeset 292 | 7ed2a25dd115 |
parent 102 | 1ab41c59e3d3 |
child 359 | db106e5b7c4d |
--- a/hws/hw06.tex Tue Oct 28 06:01:00 2014 +0000 +++ b/hws/hw06.tex Tue Oct 28 12:24:11 2014 +0000 @@ -1,12 +1,6 @@ \documentclass{article} -\usepackage{charter} -\usepackage{hyperref} -\usepackage{amssymb} -\usepackage{amsmath} -\usepackage{tikz} -\usetikzlibrary{automata} - -\newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}% for definitions +\usepackage{../style} +\usepackage{../graphics} \begin{document}