WIP

Author: eernstg

specification/dartLangSpec.tex

@@ -22137,13 +22137,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}