WIP

Author: eernstg

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}