internal DTD subset

History

TimeChange
Created
Associated with 4271