| changeset 52742 | e7296939fec2 |
| parent 50426 | d2c60ada3ece |
| child 61780 | b319013d2d33 |
--- a/src/Doc/Codegen/document/root.tex Sat Jul 27 21:10:18 2013 +0200 +++ b/src/Doc/Codegen/document/root.tex Sat Jul 27 21:21:47 2013 +0200 @@ -1,6 +1,7 @@ \documentclass[12pt,a4paper,fleqn]{article} \usepackage{latexsym,graphicx} +\usepackage{tikz}\usetikzlibrary{shapes}\usetikzlibrary{arrows} \usepackage{multirow} \usepackage{iman,extra,isar} \usepackage{isabelle,isabellesym}