From 2e5cfda4a9027d71c581b93afaf8020573efdc3a Mon Sep 17 00:00:00 2001
From: Erik Ernst <eernst@google.com>
Date: Wed, 19 Jul 2023 18:37:18 +0200
Subject: [PATCH] Eliminate duplication of declarations due to rebase

---
 specification/dart.sty | 14 --------------
 1 file changed, 14 deletions(-)

diff --git a/specification/dart.sty b/specification/dart.sty
index 82cd44db84..da42b57f10 100644
--- a/specification/dart.sty
+++ b/specification/dart.sty
@@ -565,20 +565,6 @@
 \newcommand{\LowerBoundType}[2]{%
   \ensuremath{\LowerBoundTypeName(\code{{#1},\,\,{#2}})}}
 
-\newcommand{\UpperBoundTypeName}{\metavar{standardUpperBound}}
-\newcommand{\UpperBoundType}[2]{%
-  \ensuremath{\UpperBoundTypeName(\code{{#1},\,\,{#2}})}}
-
-\newcommand{\LowerBoundTypeName}{\metavar{standardLowerBound}}
-\newcommand{\LowerBoundType}[2]{%
-  \ensuremath{\LowerBoundTypeName(\code{{#1},\,\,{#2}})}}
-
-\newcommand{\DefEquals}[2]{\ensuremath{{#1}\stackrel{\vartriangle}{=}{#2}}}
-\newcommand{\DefEqualsNewline}[2]{
-  \ensuremath{{#1}\stackrel{\vartriangle}{=}}\\
-  \ensuremath{{#2}}%
-}
-
 % ----------------------------------------------------------------------
 % Support for hash valued Location Markers