isabelle: doc-src/System/system.tex@629f3a92863e (annotated)

3170 0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	2	%% $Id$
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	3
7838 5aca258fedcf a4paper; wenzelm parents: 7258 diff changeset	4	\documentclass[12pt,a4paper]{report}
10580 930ac2bfa637 include table of Isabelle standard symbols; wenzelm parents: 9695 diff changeset	5	\usepackage{supertabular}
28216 5423ad29648e basic setup for generated document sources (cf. IsarRef/isar-ref.tex); wenzelm parents: 27639 diff changeset	6	\usepackage{graphicx}
5423ad29648e basic setup for generated document sources (cf. IsarRef/isar-ref.tex); wenzelm parents: 27639 diff changeset	7	\usepackage{../iman,../extra,../isar,../ttbox}
28219 5465883d64da load underscore package after iman etc.; wenzelm parents: 28216 diff changeset	8	\usepackage[nohyphen,strings]{../underscore}
28216 5423ad29648e basic setup for generated document sources (cf. IsarRef/isar-ref.tex); wenzelm parents: 27639 diff changeset	9	\usepackage{../isabelle,../isabellesym}
5423ad29648e basic setup for generated document sources (cf. IsarRef/isar-ref.tex); wenzelm parents: 27639 diff changeset	10	\usepackage{../IsarRef/style}
5423ad29648e basic setup for generated document sources (cf. IsarRef/isar-ref.tex); wenzelm parents: 27639 diff changeset	11	\usepackage{../pdfsetup}
5423ad29648e basic setup for generated document sources (cf. IsarRef/isar-ref.tex); wenzelm parents: 27639 diff changeset	12
5423ad29648e basic setup for generated document sources (cf. IsarRef/isar-ref.tex); wenzelm parents: 27639 diff changeset	13	\hyphenation{Isabelle}
5423ad29648e basic setup for generated document sources (cf. IsarRef/isar-ref.tex); wenzelm parents: 27639 diff changeset	14	\hyphenation{Isar}
5423ad29648e basic setup for generated document sources (cf. IsarRef/isar-ref.tex); wenzelm parents: 27639 diff changeset	15
5423ad29648e basic setup for generated document sources (cf. IsarRef/isar-ref.tex); wenzelm parents: 27639 diff changeset	16	\isadroptag{theory}
3170 0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	17
10580 930ac2bfa637 include table of Isabelle standard symbols; wenzelm parents: 9695 diff changeset	18	\isabellestyle{it}
3170 0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	19
6623 021728c71030 pdf setup; wenzelm parents: 5170 diff changeset	20	\title{\includegraphics[scale=0.5]{isabelle} \\[4ex] The Isabelle System Manual}
3170 0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	21
28216 5423ad29648e basic setup for generated document sources (cf. IsarRef/isar-ref.tex); wenzelm parents: 27639 diff changeset	22	\author{\emph{Makarius Wenzel} and \emph{Stefan Berghofer} \\
28916 0a802cdda340 removed obsolete isabelle-interface executable and ISABELLE_INTERFACE setting; wenzelm parents: 28838 diff changeset	23	TU M\"unchen}
3170 0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	24
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	25	\makeindex
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	26
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	27
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	28	\begin{document}
4540 24fcf5ecae88 updated to Isabelle98; wenzelm parents: 3754 diff changeset	29
3170 0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	30	\maketitle
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	31	\pagenumbering{roman} \tableofcontents \clearfirst
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	32
28838 d5db6dfcb34a moved table of standard Isabelle symbols to isar-ref manual; wenzelm parents: 28226 diff changeset	33	\input{Thy/document/Basics.tex}
28916 0a802cdda340 removed obsolete isabelle-interface executable and ISABELLE_INTERFACE setting; wenzelm parents: 28838 diff changeset	34	\input{Thy/document/Interfaces.tex}
28838 d5db6dfcb34a moved table of standard Isabelle symbols to isar-ref manual; wenzelm parents: 28226 diff changeset	35	\input{Thy/document/Presentation.tex}
d5db6dfcb34a moved table of standard Isabelle symbols to isar-ref manual; wenzelm parents: 28226 diff changeset	36	\input{Thy/document/Misc.tex}
10580 930ac2bfa637 include table of Isabelle standard symbols; wenzelm parents: 9695 diff changeset	37
7207 ad69aa13ddf6 bib; wenzelm parents: 6623 diff changeset	38	\begingroup
ad69aa13ddf6 bib; wenzelm parents: 6623 diff changeset	39	\bibliographystyle{plain} \small\raggedright\frenchspacing
ad69aa13ddf6 bib; wenzelm parents: 6623 diff changeset	40	\bibliography{../manual}
ad69aa13ddf6 bib; wenzelm parents: 6623 diff changeset	41	\endgroup
ad69aa13ddf6 bib; wenzelm parents: 6623 diff changeset	42
8828 5be2d1745c61 improved indexing; wenzelm parents: 7882 diff changeset	43	\printindex
3170 0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	44
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	45	\end{document}

author	immler@in.tum.de
	Thu, 26 Feb 2009 10:13:43 +0100
changeset 30151	629f3a92863e
parent 28916	0a802cdda340
child 30116	1fb1833cb199
permissions	-rw-r--r--