summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tex/latex/computational-complexity/ccproof.sty
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/tex/latex/computational-complexity/ccproof.sty')
-rw-r--r--Master/texmf-dist/tex/latex/computational-complexity/ccproof.sty2
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/texmf-dist/tex/latex/computational-complexity/ccproof.sty b/Master/texmf-dist/tex/latex/computational-complexity/ccproof.sty
index bee3f7dfa6d..27bc74a01d6 100644
--- a/Master/texmf-dist/tex/latex/computational-complexity/ccproof.sty
+++ b/Master/texmf-dist/tex/latex/computational-complexity/ccproof.sty
@@ -33,7 +33,7 @@
%% Right brace \} Tilde \~}
\ProvidesPackage{ccproof}[2000/02/29 v2.05
proof environments for cc. Michael Nuesken, Bonn.]
-\RequirePackage{theorem}
+\RequirePackage{theorem}[1995/11/23 v2.2c]
\RequirePackage{thcc}
\RequirePackage{ccqed}
\newcommand{\Qed}{\@qedtrue\qed}%