changeset 292 | 7ed2a25dd115 |
parent 267 | a1544b804d1e |
child 294 | c29853b672fb |
--- 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}