Commit b3de84d5 authored by nipkow's avatar nipkow
Browse files

tuned

parent 448fe34b0109
% $Id: root.tex,v 1.1 2004-02-25 02:49:35 lsf37 Exp $
% $Id: root.tex,v 1.2 2007-11-12 21:00:45 nipkow Exp $
\documentclass[11pt,a4paper]{article}
\usepackage{isabelle,isabellesym}
......@@ -45,8 +45,6 @@
\tableofcontents
\parindent 0pt\parskip 0.5ex
% include generated text of all theories
\input{session}
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment