<commit_before>\documentclass{article}
\usepackage{cl2emono-modified,isabelle,isabellesym}
\usepackage{../proof,amsmath,amsfonts}
\usepackage{latexsym,verbatim,graphicx,tutorial,../ttbox,comment}
\usepackage{../pdfsetup}    %last package!

\remarkstrue          %TRUE causes remarks to be displayed (as marginal notes)
%\remarksfalse

\makeindex

\index{termination|see{total function}}
\index{product type|see{pair}}
\index{tuple|see{pair}}
\index{*<*lex*>|see{lexicographic product}}

\underscoreoff

\setcounter{secnumdepth}{2} \setcounter{tocdepth}{2}  %% {secnumdepth}{2}???

\pagestyle{headings}


\begin{document}
\title{\includegraphics[scale=.8]{isabelle_hol}
       \\ \vspace{0.5cm} The Tutorial
       \\ --- DRAFT ---}
\author{<NAME> \& <NAME>\\[1ex]
Technische Universit{\"a}t M{\"u}nchen \\
Institut f{\"u}r Informatik \\[1ex]
University of Cambridge\\
Computer Laboratory}
\maketitle

\pagenumbering{roman}
\setcounter{page}{5}

\input{preface}

\tableofcontents

\newpage\pagenumbering{arabic}

\input{basics}
\input{fp}
\input{Rules/rules}
\input{Sets/sets}\input{CTL/ctl}  %these constitute ONE chapter
\input{Inductive/inductive}
\input{Types/types}
\input{Advanced/advanced}
%\chapter{Theory Presentation} Document preparation / Syntax Matters!
\input{Protocol/protocol}
%\chapter{Structured Proofs}
%\label{ch:Isar}
%\chapter{Case Study: UNIX File-System Security}
%\chapter{The Tricks of the Trade}
\input{appendix}

\bibliographystyle{plain}
\bibliography{../manual}
\printindex
\end{document}
<commit_msg>more in the Springer style<commit_after>\documentclass{article}
\usepackage{cl2emono-modified,isabelle,isabellesym}
\usepackage{../proof,amsmath,amsfonts}
\usepackage{latexsym,verbatim,graphicx,tutorial,../ttbox,comment}
\usepackage{../pdfsetup}   
%last package!

\remarkstrue          %TRUE causes remarks to be displayed (as marginal notes)
%\remarksfalse

\makeindex

\index{termination|see{total function}}
\index{product type|see{pair}}
\index{tuple|see{pair}}
\index{*<*lex*>|see{lexicographic product}}

\underscoreoff

\setcounter{secnumdepth}{2} \setcounter{tocdepth}{2}  %% {secnumdepth}{2}???

\pagestyle{headings}


\begin{document}
\title{\includegraphics[scale=.8]{isabelle_hol}
       \\ \vspace{0.5cm} The Tutorial
       \\ --- DRAFT ---}
\author{<NAME> \& <NAME>\\[1ex]
Technische Universit{\"a}t M{\"u}nchen \\
Institut f{\"u}r Informatik \\[1ex]
University of Cambridge\\
Computer Laboratory}
\maketitle

\pagenumbering{roman}
\setcounter{page}{5}

\input{preface}

\tableofcontents

\newpage\pagenumbering{arabic}
\input{basics}
\input{fp}
\input{Rules/rules}
\input{Sets/sets}\input{CTL/ctl}  %these constitute ONE chapter
\input{Inductive/inductive}
\input{Types/types}
\input{Advanced/advanced}
%\chapter{Theory Presentation} Document preparation / Syntax Matters!
\input{Protocol/protocol}
%\chapter{Structured Proofs}
%\label{ch:Isar}
%\chapter{Case Study: UNIX File-System Security}
%\chapter{The Tricks of the Trade}
\input{appendix}

\bibliographystyle{plain}
\bibliography{../manual}
\printindex
\end{document}

{'fraction_non_alphanumeric': 0.16335828180930687, 'fraction_numerical': 0.006508298080052067, 'mean_word_length': 5.444444444444445, 'pattern_counts': {'":': 0, '<': 9, '<?xml version=': 0, '>': 9, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '337306', 'n_tokens_mistral': 1138, 'n_tokens_neox': 1083, 'n_words': 190}