forked from Isabelle_DOF/Isabelle_DOF
9 lines
131 B
TeX
9 lines
131 B
TeX
|
%% This is a placeholder for user-specific configuration and packages.
|
||
|
|
||
|
\usepackage{stmaryrd}
|
||
|
|
||
|
\title{<TITLE>}
|
||
|
\author{<AUTHOR>}
|
||
|
|
||
|
|