ODIn/paper-BagRelationalPDBsAreHard
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Changed all thm etc. to have same counter

Browse source
This commit is contained in:
Atri Rudra 2020-12-13 12:49:27 -05:00
parent 9822665991
commit 78b88510dd
1 changed files with 11 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

21
macros.tex
View file

@ -249,16 +249,17 @@
\DeclareMathAlphabet{\mathbbold}{U}{bbold}{m}{n} \DeclareMathAlphabet{\mathbbold}{U}{bbold}{m}{n}
\newtheorem{Theorem}{Theorem}[section] \newtheorem{Theorem}{Theorem}[section]
\newtheorem{Definition}{Definition} \newtheorem{Definition}[Theorem]{Definition}
\newtheorem{Lemma}{Lemma} \newtheorem{Lemma}[Theorem]{Lemma}
\newtheorem{Proposition}{Proposition} \newtheorem{Proposition}[Theorem]{Proposition}
\newtheorem{Property}{Property} \newtheorem{Property}[Theorem]{Property}
\newtheorem{Corollary}{Corollary} \newtheorem{Corollary}[Theorem]{Corollary}
\newtheorem{Claim}{Claim} \newtheorem{Claim}[Theorem]{Claim}
\newtheorem{Example}{Example} \newtheorem{Example}[Theorem]{Example}
\newtheorem{Axiom}{Axiom} \newtheorem{Axiom}[Theorem]{Axiom}
\newtheorem{Question}{Question} \newtheorem{Question}[Theorem]{Question}
\newtheorem{Assumption}{Assumption} \newtheorem{Assumption}[Theorem]{Assumption}
\newtheorem{hypo}[Theorem]{Conjecture}