isabelle: src/HOL/Nonstandard_Analysis/document/root.tex@abfeed05c323 (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}
64435 c93b0e6131c3 misc tuning and modernization; wenzelm parents: 63590 diff changeset	3	\usepackage{amsmath,amssymb}
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	desharna
	Thu, 08 Oct 2020 17:02:56 +0200
changeset 72400	abfeed05c323
parent 64435	c93b0e6131c3
child 73404	299f6a8faccc
permissions	-rw-r--r--