Isabelle_DOF
/
Isabelle_DOF
1
0
Fork 2
Code Issues 1 Pull Requests Releases Wiki Activity

Comment out hack for Assumption in scholarly_paper
ci/woodpecker/push/build Pipeline was successful Details

This commit is contained in:
Nicolas Méric 2022-12-22 09:55:46 +01:00
parent a9432c7b52
commit b162a24749
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/ontologies/scholarly_paper/DOF-scholarly_paper-thm.sty
View File

@ -18,7 +18,7 @@
\RequirePackage{amsthm}
\newtheorem{example}{Example}
\newtheorem{assertion}{Assumption} %% Hack
%\newtheorem{assertion}{Assumption} %% Hack
\newtheorem{assumption}{Assumption}
\newtheorem{definition}{Definition}
\newtheorem{theorem}{Theorem}