From 9b33046355238f56cda18493b8c757db736516a4 Mon Sep 17 00:00:00 2001 From: Urbain Vaes Date: Thu, 21 Sep 2023 18:37:50 +0200 Subject: Add worked example --- header.tex | 2 -- 1 file changed, 2 deletions(-) (limited to 'header.tex') diff --git a/header.tex b/header.tex index 98eef2d..83d0e93 100755 --- a/header.tex +++ b/header.tex @@ -42,8 +42,6 @@ \definecolor{darkred}{rgb}{.5,0,0} \definecolor{darkgreen}{rgb}{0,.5,0} \definecolor{darkblue}{rgb}{0,0,.5} -% \newcommand{\red}[1]{\textcolor{darkred}{#1}} -% \newcommand{\green}[1]{\textcolor{darkgreen}{#1}} \newtheorem{proposition}{Proposition} -- cgit v1.2.3