hws/hw06.tex
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}