Home Next released ->
Type: DTEL, Name: DDNOHISTORY, Status: IMPLICIT
Open SVG in new tab, Bug reports welcome
G DTEL-DDNOHISTORY DTEL-DDNOHISTORY DOMA-DDBOOL DOMA-DDBOOL DTEL-DDNOHISTORY->DOMA-DDBOOL