From a38309cc31a72415658696215e1dc138658c4c68 Mon Sep 17 00:00:00 2001
From: Erik Ernst <eernst@google.com>
Date: Fri, 18 Oct 2024 16:51:34 +0200
Subject: [PATCH] WIP

---
 specification/dartLangSpec.tex | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/specification/dartLangSpec.tex b/specification/dartLangSpec.tex
index 0e294ad63..88f3f0eb0 100644
--- a/specification/dartLangSpec.tex
+++ b/specification/dartLangSpec.tex
@@ -21990,13 +21990,6 @@ \subsubsection{Subtype Rules}
 When that is not the case for a given premise,
 we specify the meaning explicitly.
 
-\commentary{%
-Instantiation of a rule, mentioned above,
-denotes the consistent replacement of meta-variables
-by actual syntactic terms denoting types everywhere in the rule,
-that is, in the premises as well as in the conclusion, simultaneously.%
-}
-
 
 \subsubsection{Being a Subtype}
 \LMLabel{beingASubtype}