--- a/utm/document/root.tex	Sat Sep 29 12:38:12 2012 +0000
+++ b/utm/document/root.tex	Mon Oct 15 13:23:52 2012 +0000
@@ -1,6 +1,29 @@
 \documentclass[11pt,a4paper]{article}
 \usepackage{isabelle,isabellesym}
-
+%begin adding
+%\usepackage{pdfsetup}
+\usepackage{fancyhdr}
+\usepackage{beamerarticle}
+\usepackage[english]{babel}
+%\usepackage{enumitem}
+\usepackage{enumerate}
+\usepackage{cases}
+%\usepackage{CJK,cjknumb}
+%\usepackage{pgf,pgfarrows,pgfnodes,pgfautomata,pgfheaps,pgfshade}
+\usepackage{amsmath,amssymb}
+%\usepackage[latin1]{inputenc}
+%\usepackage{colortbl}
+\usepackage{tikz}
+\usetikzlibrary{arrows,automata,decorations,fit,calc}
+\usetikzlibrary{shapes,shapes.arrows,snakes,positioning}
+\usepgflibrary{shapes.misc} % LATEX and plain TEX and pure pgf
+\usetikzlibrary{matrix}
+\usepackage[latin1]{inputenc}
+\usepackage{verbatim}
+\usepackage{romannum}
+\usepackage{makeidx}
+\usepackage{listings}
+%end adding
 % further packages required for unusual symbols (see also
 % isabellesym.sty), use only when needed
 
@@ -32,7 +55,7 @@
 
 % for uniform font size
 %\renewcommand{\isastyle}{\isastyleminor}
-
+\newcommand{\wuhao}{\fontsize{6pt}{10pt}\selectfont}    % ÎåºÅ, µ¥±¶Ðоà
 
 \begin{document}