Commit 110441cc authored by Leonard Guetta's avatar Leonard Guetta
Browse files

safety commit

parent b28db685
......@@ -8,7 +8,7 @@
\maketitle
%\include{omegacat}
\include{omegacat}
\include{homtheo}
\include{hmtpy}
\bibliographystyle{alpha}
......
......@@ -110,6 +110,7 @@
\newcommand{\nbar}{\mathbb{N}\cup\{ \oo \}} % Integers N with infinity
\newcommand{\Th}{\mathrm{Th}} %For Thomason equivalences related stuff
% squelette
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment