isabelle: src/HOL/Nonstandard_Analysis/document/root.tex@4854f7ee0987 (annotated)

27468 0783dd1dc13d move nonstandard analysis theories to NSA directory huffman parents: diff changeset	1	\documentclass[11pt,a4paper]{article}
40945 b8703f63bfb2 recoded latin1 as utf8; wenzelm parents: 27468 diff changeset	2	\usepackage{graphicx,isabelle,isabellesym,latexsym,textcomp}
61977 f55f28132128 proper latex setup; wenzelm parents: 58878 diff changeset	3	\usepackage{amsmath}
63590 4854f7ee0987 proper latex rendering of abbrevs templates (e.g. src/HOL/Nonstandard_Analysis/HLim.thy); wenzelm parents: 62479 diff changeset	4	\usepackage{stmaryrd}
27468 0783dd1dc13d move nonstandard analysis theories to NSA directory huffman parents: diff changeset	5	\usepackage{pdfsetup}
0783dd1dc13d move nonstandard analysis theories to NSA directory huffman parents: diff changeset	6
0783dd1dc13d move nonstandard analysis theories to NSA directory huffman parents: diff changeset	7	\urlstyle{rm}
0783dd1dc13d move nonstandard analysis theories to NSA directory huffman parents: diff changeset	8	\isabellestyle{it}
0783dd1dc13d move nonstandard analysis theories to NSA directory huffman parents: diff changeset	9	\pagestyle{myheadings}
0783dd1dc13d move nonstandard analysis theories to NSA directory huffman parents: diff changeset	10
0783dd1dc13d move nonstandard analysis theories to NSA directory huffman parents: diff changeset	11	\begin{document}
0783dd1dc13d move nonstandard analysis theories to NSA directory huffman parents: diff changeset	12
0783dd1dc13d move nonstandard analysis theories to NSA directory huffman parents: diff changeset	13	\title{Isabelle/HOL-NSA --- Non-Standard Analysis}
0783dd1dc13d move nonstandard analysis theories to NSA directory huffman parents: diff changeset	14	\maketitle
0783dd1dc13d move nonstandard analysis theories to NSA directory huffman parents: diff changeset	15
0783dd1dc13d move nonstandard analysis theories to NSA directory huffman parents: diff changeset	16	\tableofcontents
0783dd1dc13d move nonstandard analysis theories to NSA directory huffman parents: diff changeset	17
0783dd1dc13d move nonstandard analysis theories to NSA directory huffman parents: diff changeset	18	\begin{center}
0783dd1dc13d move nonstandard analysis theories to NSA directory huffman parents: diff changeset	19	\includegraphics[width=\textwidth,height=\textheight,keepaspectratio]{session_graph}
0783dd1dc13d move nonstandard analysis theories to NSA directory huffman parents: diff changeset	20	\end{center}
0783dd1dc13d move nonstandard analysis theories to NSA directory huffman parents: diff changeset	21
0783dd1dc13d move nonstandard analysis theories to NSA directory huffman parents: diff changeset	22	\newpage
0783dd1dc13d move nonstandard analysis theories to NSA directory huffman parents: diff changeset	23
58878 f962e42e324d modernized header; wenzelm parents: 40945 diff changeset	24	\renewcommand{\setisabellecontext}[1]{\markright{THEORY~``#1''}}
27468 0783dd1dc13d move nonstandard analysis theories to NSA directory huffman parents: diff changeset	25
0783dd1dc13d move nonstandard analysis theories to NSA directory huffman parents: diff changeset	26	\parindent 0pt\parskip 0.5ex
0783dd1dc13d move nonstandard analysis theories to NSA directory huffman parents: diff changeset	27	\input{session}
0783dd1dc13d move nonstandard analysis theories to NSA directory huffman parents: diff changeset	28
0783dd1dc13d move nonstandard analysis theories to NSA directory huffman parents: diff changeset	29	\end{document}

author	wenzelm
	Tue, 02 Aug 2016 21:55:15 +0200
changeset 63590	4854f7ee0987
parent 62479	716336f19aa9
child 64435	c93b0e6131c3
permissions	-rw-r--r--