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