Quellcodebibliothek
Statistik
Leitseite
products
/
Sources
/
formale Sprachen
/
C
/
Firefox
/
modules
/
libmar
/
tests
/
unit
/
data
/ (
Firefox Browser
Version 136.0.1
©
) Datei vom 10.2.2025 mit Größe 1 kB
Bilddatei
root.tex
products/Sources/formale Sprachen/Isabelle/HOL/Combinatorics/document/root.tex
\documentclass[11pt,a4paper]{article} \usepackage[T1]{fontenc} \usepackage[only,bigsqcap]{stmaryrd} \usepackage{ifthen,proof,amssymb,isabelle,isabellesym} \isabellestyle{literal} \usepackage{pdfsetup}\urlstyle{rm} \hyphenation{Isabelle} \begin{document} \title{Basic combinatorics in Isabelle/HOL (and the Archive of Formal Proofs)} \maketitle \tableofcontents \parindent 0pt \parskip 0.5ex \input{session} \end{document}
2026-07-09