isabelle: doc-src/IsarRef/style.sty@378bdbce68e6 (annotated)

26738 615e1a86787b basic setup for generated document (cf. ../IsarImplementation); wenzelm parents: diff changeset	1
615e1a86787b basic setup for generated document (cf. ../IsarImplementation); wenzelm parents: diff changeset	2	%% $Id$
615e1a86787b basic setup for generated document (cf. ../IsarImplementation); wenzelm parents: diff changeset	3
615e1a86787b basic setup for generated document (cf. ../IsarImplementation); wenzelm parents: diff changeset	4	%% toc
615e1a86787b basic setup for generated document (cf. ../IsarImplementation); wenzelm parents: diff changeset	5	\newcommand{\tocentry}[1]{\cleardoublepage\phantomsection\addcontentsline{toc}{chapter}{#1}
615e1a86787b basic setup for generated document (cf. ../IsarImplementation); wenzelm parents: diff changeset	6	\@mkboth{\MakeUppercase{#1}}{\MakeUppercase{#1}}}
615e1a86787b basic setup for generated document (cf. ../IsarImplementation); wenzelm parents: diff changeset	7
615e1a86787b basic setup for generated document (cf. ../IsarImplementation); wenzelm parents: diff changeset	8	%% references
615e1a86787b basic setup for generated document (cf. ../IsarImplementation); wenzelm parents: diff changeset	9	\newcommand{\secref}[1]{\S\ref{#1}}
615e1a86787b basic setup for generated document (cf. ../IsarImplementation); wenzelm parents: diff changeset	10	\newcommand{\chref}[1]{chapter~\ref{#1}}
26759 4f066dfc58d1 more ref macros; wenzelm parents: 26738 diff changeset	11	\newcommand{\Chref}[1]{Chapter~\ref{#1}}
4f066dfc58d1 more ref macros; wenzelm parents: 26738 diff changeset	12	\newcommand{\appref}[1]{appendix~\ref{#1}}
4f066dfc58d1 more ref macros; wenzelm parents: 26738 diff changeset	13	\newcommand{\Appref}[1]{Appendix~\ref{#1}}
26738 615e1a86787b basic setup for generated document (cf. ../IsarImplementation); wenzelm parents: diff changeset	14	\newcommand{\figref}[1]{figure~\ref{#1}}
26759 4f066dfc58d1 more ref macros; wenzelm parents: 26738 diff changeset	15	\newcommand{\Figref}[1]{Figure~\ref{#1}}
26738 615e1a86787b basic setup for generated document (cf. ../IsarImplementation); wenzelm parents: diff changeset	16
615e1a86787b basic setup for generated document (cf. ../IsarImplementation); wenzelm parents: diff changeset	17	%% index
615e1a86787b basic setup for generated document (cf. ../IsarImplementation); wenzelm parents: diff changeset	18	%FIXME
615e1a86787b basic setup for generated document (cf. ../IsarImplementation); wenzelm parents: diff changeset	19
615e1a86787b basic setup for generated document (cf. ../IsarImplementation); wenzelm parents: diff changeset	20	%% math
615e1a86787b basic setup for generated document (cf. ../IsarImplementation); wenzelm parents: diff changeset	21	\newcommand{\text}[1]{\mbox{#1}}
615e1a86787b basic setup for generated document (cf. ../IsarImplementation); wenzelm parents: diff changeset	22	\newcommand{\isasymvartheta}{\isamath{\theta}}
615e1a86787b basic setup for generated document (cf. ../IsarImplementation); wenzelm parents: diff changeset	23	\newcommand{\isactrlvec}[1]{\emph{$\overline{#1}$}}
615e1a86787b basic setup for generated document (cf. ../IsarImplementation); wenzelm parents: diff changeset	24
615e1a86787b basic setup for generated document (cf. ../IsarImplementation); wenzelm parents: diff changeset	25	\setcounter{secnumdepth}{2} \setcounter{tocdepth}{2}
615e1a86787b basic setup for generated document (cf. ../IsarImplementation); wenzelm parents: diff changeset	26
615e1a86787b basic setup for generated document (cf. ../IsarImplementation); wenzelm parents: diff changeset	27	\pagestyle{headings}
615e1a86787b basic setup for generated document (cf. ../IsarImplementation); wenzelm parents: diff changeset	28	\sloppy
615e1a86787b basic setup for generated document (cf. ../IsarImplementation); wenzelm parents: diff changeset	29	\binperiod
615e1a86787b basic setup for generated document (cf. ../IsarImplementation); wenzelm parents: diff changeset	30	\underscoreon
615e1a86787b basic setup for generated document (cf. ../IsarImplementation); wenzelm parents: diff changeset	31
615e1a86787b basic setup for generated document (cf. ../IsarImplementation); wenzelm parents: diff changeset	32	\renewcommand{\isadigit}[1]{\isamath{#1}}
615e1a86787b basic setup for generated document (cf. ../IsarImplementation); wenzelm parents: diff changeset	33
615e1a86787b basic setup for generated document (cf. ../IsarImplementation); wenzelm parents: diff changeset	34	\newcommand{\minorcmd}[1]{{\sf #1}}
615e1a86787b basic setup for generated document (cf. ../IsarImplementation); wenzelm parents: diff changeset	35
615e1a86787b basic setup for generated document (cf. ../IsarImplementation); wenzelm parents: diff changeset	36	\newcommand{\isasymGUESS}{\isakeyword{guess}}
615e1a86787b basic setup for generated document (cf. ../IsarImplementation); wenzelm parents: diff changeset	37	\newcommand{\isasymOBTAIN}{\isakeyword{obtain}}
615e1a86787b basic setup for generated document (cf. ../IsarImplementation); wenzelm parents: diff changeset	38	\newcommand{\isasymTHEORY}{\isakeyword{theory}}
615e1a86787b basic setup for generated document (cf. ../IsarImplementation); wenzelm parents: diff changeset	39	\newcommand{\isasymUSES}{\isakeyword{uses}}
615e1a86787b basic setup for generated document (cf. ../IsarImplementation); wenzelm parents: diff changeset	40	\newcommand{\isasymEND}{\isakeyword{end}}
615e1a86787b basic setup for generated document (cf. ../IsarImplementation); wenzelm parents: diff changeset	41	\newcommand{\isasymCONSTS}{\isakeyword{consts}}
615e1a86787b basic setup for generated document (cf. ../IsarImplementation); wenzelm parents: diff changeset	42	\newcommand{\isasymDEFS}{\isakeyword{defs}}
615e1a86787b basic setup for generated document (cf. ../IsarImplementation); wenzelm parents: diff changeset	43	\newcommand{\isasymTHEOREM}{\isakeyword{theorem}}
615e1a86787b basic setup for generated document (cf. ../IsarImplementation); wenzelm parents: diff changeset	44	\newcommand{\isasymDEFINITION}{\isakeyword{definition}}
615e1a86787b basic setup for generated document (cf. ../IsarImplementation); wenzelm parents: diff changeset	45
615e1a86787b basic setup for generated document (cf. ../IsarImplementation); wenzelm parents: diff changeset	46	\isabellestyle{it}
26775 06d6b1242dcf use underscore for underscore; wenzelm parents: 26767 diff changeset	47	\renewcommand{\isacharunderscore}{\_}
06d6b1242dcf use underscore for underscore; wenzelm parents: 26767 diff changeset	48	\renewcommand{\isacharunderscorekeyword}{\_}
26778 378bdbce68e6 added \isasymdash; wenzelm parents: 26775 diff changeset	49	\newcommand{\isasymdash}{\mbox{-}}
26738 615e1a86787b basic setup for generated document (cf. ../IsarImplementation); wenzelm parents: diff changeset	50
615e1a86787b basic setup for generated document (cf. ../IsarImplementation); wenzelm parents: diff changeset	51	%%% Local Variables:
615e1a86787b basic setup for generated document (cf. ../IsarImplementation); wenzelm parents: diff changeset	52	%%% mode: latex
615e1a86787b basic setup for generated document (cf. ../IsarImplementation); wenzelm parents: diff changeset	53	%%% TeX-master: "implementation"
615e1a86787b basic setup for generated document (cf. ../IsarImplementation); wenzelm parents: diff changeset	54	%%% End:

author	wenzelm
	Sat, 03 May 2008 13:25:27 +0200
changeset 26778	378bdbce68e6
parent 26775	06d6b1242dcf
child 26859	b9ab6246765e
permissions	-rw-r--r--